| Index: tools/html_json_doc/bin/html_json_doc.dart
|
| diff --git a/tools/html_json_doc/bin/html_json_doc.dart b/tools/html_json_doc/bin/html_json_doc.dart
|
| index 7c5b72602592687e244066a5850e0f370870a1cc..c37d302cba9f088bbacdfef25521cd3b2b523db3 100644
|
| --- a/tools/html_json_doc/bin/html_json_doc.dart
|
| +++ b/tools/html_json_doc/bin/html_json_doc.dart
|
| @@ -35,7 +35,7 @@ main() {
|
| 'HTML .dart files.'},
|
| callback: (m) => mode = m
|
| );
|
| -
|
| +
|
| final argResults = argParser.parse(args);
|
|
|
| if (mode == null) {
|
| @@ -46,8 +46,8 @@ main() {
|
| return;
|
| }
|
|
|
| - var htmlPath = new Path.fromNative(argResults.rest[0]);
|
| - var jsonPath = new Path.fromNative(argResults.rest[1]);
|
| + var htmlPath = new Path(argResults.rest[0]);
|
| + var jsonPath = new Path(argResults.rest[1]);
|
|
|
| var convertFuture;
|
| if (mode == 'html-to-json') {
|
| @@ -66,4 +66,4 @@ void printUsage([String message]) {
|
| print(message);
|
| print(USAGE);
|
| print(argParser.getUsage());
|
| -}
|
| +}
|
|
|