Index: dart/site/try/project_server.dart |
diff --git a/dart/site/try/project_server.dart b/dart/site/try/project_server.dart |
index d71d87043616f85c4c83ddfbddd485ad454fa755..08c5d565425f206d777c404842ecc524397d19d4 100644 |
--- a/dart/site/try/project_server.dart |
+++ b/dart/site/try/project_server.dart |
@@ -7,7 +7,8 @@ library trydart.projectServer; |
import 'dart:io'; |
import 'dart:async' show |
- Future; |
+ Future, |
+ Stream; |
import 'dart:convert' show |
HtmlEscape, |
@@ -145,12 +146,6 @@ It is safe to delete tag '$GIT_TAG' if you don't need the backup."""; |
response.close(); |
} |
- redirect(String location) { |
- response.statusCode = HttpStatus.FOUND; |
- response.headers.add(HttpHeaders.LOCATION, location); |
- response.close(); |
- } |
- |
badRequest(String problem) { |
response.statusCode = HttpStatus.BAD_REQUEST; |
response.write(htmlInfo("Bad request", |