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'); |
} |