| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/ServerRenameRefactoring.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/ServerRenameRefactoring.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/ServerRenameRefactoring.java
|
| index 9a8c4601f9114fbde5958b0d4dec5aa6564af4be..cee1b537188fbb74645c5897a4671be8011064ea 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/ServerRenameRefactoring.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/ServerRenameRefactoring.java
|
| @@ -47,7 +47,10 @@ public class ServerRenameRefactoring extends ServerRefactoring {
|
|
|
| public RefactoringStatus setNewName(String newName) {
|
| options.setNewName(newName);
|
| - return setOptions(true);
|
| + if (!setOptions(true)) {
|
| + return TIMEOUT_STATUS;
|
| + }
|
| + return ltkOptionsStatus;
|
| }
|
|
|
| @Override
|
|
|