Tokenize one line at a time.

dart/site/try/project_server.dart

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",