| Index: bin/coverage_log_server.dart
|
| diff --git a/bin/coverage_log_server.dart b/bin/coverage_log_server.dart
|
| index cbab8c606598028f223900a80c304cb44cb7a030..a4dc4c93b001c0067133d3f546001b2718504273 100644
|
| --- a/bin/coverage_log_server.dart
|
| +++ b/bin/coverage_log_server.dart
|
| @@ -29,7 +29,7 @@ import 'package:shelf/shelf_io.dart' as shelf;
|
|
|
| const _DEFAULT_OUT_TEMPLATE = '<dart2js-out-file>.coverage.json';
|
|
|
| -main(argv) async {
|
| +main(List<String> argv) async {
|
| var parser = new ArgParser()
|
| ..addOption('port', abbr: 'p', help: 'port number', defaultsTo: "8080")
|
| ..addOption('host',
|
| @@ -169,8 +169,9 @@ class _Server {
|
| await new Future.delayed(new Duration(seconds: 3));
|
| await new File(outPath).writeAsString(_serializedData);
|
| var diff = data.length - _total;
|
| - print(
|
| - diff ? ' - no new element covered' : ' - $diff new elements covered');
|
| + print(diff == 0
|
| + ? ' - no new element covered'
|
| + : ' - $diff new elements covered');
|
| _savePending = false;
|
| _total = data.length;
|
| }
|
|
|