| 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) {
|
|
|