Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java |
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java |
index 790232a2fe3738dcc846f09f24da2501c350a72f..3daba857292390172e0cd4af8702fb9f71fd30de 100644 |
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java |
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java |
@@ -400,9 +400,7 @@ public interface AnalysisServer { |
/** |
* Start the analysis server. |
* |
danrubel
2014/09/17 20:49:36
Remove extra comment line
jwren
2014/09/17 20:52:06
Done.
|
- * @param millisToRestart the number of milliseconds to wait for an unresponsive server before |
- * restarting it, or zero if the server should not be restarted. |
*/ |
- public void start(long millisToRestart) throws Exception; |
+ public void start() throws Exception; |
} |