| Index: utils/testrunner/run_pipeline.dart
|
| diff --git a/utils/testrunner/run_pipeline.dart b/utils/testrunner/run_pipeline.dart
|
| index 3b21cad92e89c8f8b5d210bc00cd4c4ef9372785..ba0f75d3cc3b2ad9ed4ad94aa8f2889c99b913b2 100644
|
| --- a/utils/testrunner/run_pipeline.dart
|
| +++ b/utils/testrunner/run_pipeline.dart
|
| @@ -6,7 +6,6 @@
|
| library pipeline;
|
| import 'dart:isolate';
|
| import 'dart:io';
|
| -import 'dart:math';
|
| part 'pipeline_utils.dart';
|
|
|
| /**
|
| @@ -84,7 +83,7 @@ startHTTPServerStage() {
|
| var r = new Random();
|
| tryStartHTTPServer(r, MAX_SERVER_TRIES);
|
| } else {
|
| - serverPort = parseInt(config["port"]);
|
| + serverPort = int.parse(config["port"]);
|
| // Start the HTTP server.
|
| serverId = startProcess(config["dart"],
|
| [ serverPath, '--port=$serverPort', '--root=$serverRoot']);
|
|
|