Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java (revision 32687) |
+++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java (working copy) |
@@ -15,7 +15,6 @@ |
import com.google.dart.tools.core.DartCoreDebug; |
import com.google.dart.tools.core.utilities.general.StringUtilities; |
-import com.google.dart.tools.debug.core.pubserve.PubServeLaunchConfigurationDelegate; |
import com.google.dart.tools.debug.core.pubserve.PubServeManager; |
import com.google.dart.tools.debug.core.util.BrowserManager; |
import com.google.dart.tools.debug.core.util.ResourceChangeManager; |
@@ -374,7 +373,6 @@ |
BrowserManager.getManager().dispose(); |
PubServeManager.getManager().dispose(); |
- PubServeLaunchConfigurationDelegate.dispose(); |
if (debugEventListener != null) { |
DebugPlugin.getDefault().removeDebugEventListener(debugEventListener); |