| 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 c1c79113698d2be5c28ad9d3b82a8563ca631ae9..b951674e578def82dc8adfed78076e0885d1af18 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
|
| @@ -36,7 +36,7 @@ public interface AnalysisServer {
|
| * @param listener the listener to be added
|
| */
|
| public void addAnalysisServerListener(AnalysisServerListener listener);
|
| -
|
| +
|
| /**
|
| * Add the given listener to the list of listeners that will receive notification when the server
|
| * is not active
|
|
|