| Index: tools/html_json_doc/lib/json_to_html.dart | 
| diff --git a/tools/html_json_doc/lib/json_to_html.dart b/tools/html_json_doc/lib/json_to_html.dart | 
| index d25aa4d0b7e654254ef8e7cafbaa575ef98746be..e6ac183c320b80dbd5a620347873d1e74f68ee3b 100644 | 
| --- a/tools/html_json_doc/lib/json_to_html.dart | 
| +++ b/tools/html_json_doc/lib/json_to_html.dart | 
| @@ -66,7 +66,12 @@ Future<bool> convert(Path htmlPath, Path jsonPath) { | 
| // Find html files. (lister) | 
| final lister = htmlDir.list(recursive: false); | 
|  | 
| +  var pathList = <String>[]; | 
| lister.onFile = (String path) { | 
| +    pathList.add(path); | 
| +  }; | 
| + | 
| +  getFile(String path) { | 
| final name = new Path.fromNative(path).filename; | 
|  | 
| // Ignore private classes. | 
| @@ -98,6 +103,9 @@ Future<bool> convert(Path htmlPath, Path jsonPath) { | 
| }; | 
|  | 
| lister.onDone = (_) { | 
| +    while(!pathList.isEmpty) { | 
| +      getFile(pathList.removeLast()); | 
| +    } | 
|  | 
| fileJson.forEach((key, _) { | 
| print('WARNING: the following filename was found in the JSON but not in ' | 
| @@ -139,13 +147,6 @@ void _convertFile(File file, Map<String, List<String>> comments) { | 
| '${new Path(file.fullPathSync()).filename}:\n"$key"'); | 
| _anyErrors = true; | 
| }); | 
| - | 
| -  // TODO(amouravski): file.writeAsStringSync('${Strings.join(fileLines, '\n')}\n'); | 
| -  var outputStream = file.openOutputStream(); | 
| -  outputStream.writeString(Strings.join(fileLines, '\n')); | 
| -  outputStream.writeString('\n'); | 
| - | 
| -  outputStream.onNoPendingWrites = () { | 
| -    outputStream.close(); | 
| -  }; | 
| + | 
| + file.writeAsStringSync('${Strings.join(fileLines, '\n')}\n'); | 
| } | 
|  |