| 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 c8451280c3d80f329dd4be2c38a2afb7f6740afe..bf57107665968f0b082e1fff6ee8a32674d5aaae 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
|
| @@ -171,8 +171,7 @@ public interface AnalysisServer {
|
| *
|
| * Update the options controlling analysis based on the given set of options. Any options that are
|
| * not included in the analysis options will not be changed. If there are options in the analysis
|
| - * options that are not valid an error will be reported but the values of the valid options will
|
| - * still be updated.
|
| + * options that are not valid, they will be silently ignored.
|
| *
|
| * @param options The options that are to be used to control analysis.
|
| */
|
|
|