| 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..55adee1a9fb307892982b452a4967d226ae4f780 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
|
| @@ -399,10 +399,7 @@ public interface AnalysisServer {
|
|
|
| /**
|
| * Start the analysis server.
|
| - *
|
| - * @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;
|
|
|
| }
|
|
|