Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/configs/DartiumLaunchConfigurationDelegate.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/configs/DartiumLaunchConfigurationDelegate.java (revision 41867) |
+++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/configs/DartiumLaunchConfigurationDelegate.java (working copy) |
@@ -32,6 +32,7 @@ |
import com.google.dart.tools.debug.core.webkit.DefaultChromiumTabChooser; |
import com.google.dart.tools.debug.core.webkit.IChromiumTabChooser; |
+import org.eclipse.core.resources.IContainer; |
import org.eclipse.core.resources.IFile; |
import org.eclipse.core.resources.IResource; |
import org.eclipse.core.runtime.CoreException; |
@@ -117,7 +118,7 @@ |
} |
@Override |
- public IDebugTarget performRemoteConnection(String host, int port, IFile file, |
+ public IDebugTarget performRemoteConnection(String host, int port, IContainer container, |
IProgressMonitor monitor, boolean usePubServe) throws CoreException { |
BrowserManager browserManager = new BrowserManager(); |
@@ -129,12 +130,11 @@ |
} |
return browserManager.performRemoteConnection(tabChooser, host, port, monitor, resolver); |
- |
} |
private ResourceServer getResourceServer() throws CoreException { |
+ ResourceServer resourceResolver; |
- ResourceServer resourceResolver; |
try { |
resourceResolver = ResourceServerManager.getServer(); |
} catch (IOException ioe) { |