Index: editor/tools/plugins/com.google.dart.tools.core_test/src-dart/pub_package_server.dart |
diff --git a/editor/tools/plugins/com.google.dart.tools.core_test/src-dart/pub_package_server.dart b/editor/tools/plugins/com.google.dart.tools.core_test/src-dart/pub_package_server.dart |
index 2c8fa8082c1c460f9e4b730d5168829bcbb39f02..a346f98d9a8b46ce421a06c102cb2ba2de7c2c37 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core_test/src-dart/pub_package_server.dart |
+++ b/editor/tools/plugins/com.google.dart.tools.core_test/src-dart/pub_package_server.dart |
@@ -18,9 +18,8 @@ const LOG_REQUESTS = true; |
String baseDir; |
-main() { |
+main(List<String> options) { |
int port; |
- var options = new Options().arguments; |
if (options.length != 1) { |
print('Insufficient arguments \npub_package_server serverDataLocation'); |
exit(64); |