| 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 e50a0f0bf3ce37ee5df5a8be5f71a29c8de046ce..3ad2e431f55f928d3ef721edcf6d36433022585c 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,4 +399,5 @@ public interface AnalysisServer {
|
| * restarting it, or zero if the server should not be restarted.
|
| */
|
| public void start(long millisToRestart) throws Exception;
|
| +
|
| }
|
|
|