| Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServer.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServer.java (revision 9145)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/ResourceServer.java (working copy)
|
| @@ -76,8 +76,8 @@
|
|
|
| @Override
|
| public String getUrlForResource(IResource resource) {
|
| + URI fileUri = resource.getLocation().toFile().toURI();
|
|
|
| - URI fileUri = resource.getLocation().toFile().toURI();
|
| return getUrlForUri(fileUri);
|
| }
|
|
|
| @@ -107,13 +107,13 @@
|
|
|
| // localhost? 127.0.0.1? serverSocket.getInetAddress().getHostAddress()?
|
| URI uri = new URI(
|
| - "http",
|
| - null,
|
| - "127.0.0.1",
|
| - serverSocket.getLocalPort(),
|
| - pathSegment,
|
| - null,
|
| - null);
|
| + "http",
|
| + null,
|
| + "127.0.0.1",
|
| + serverSocket.getLocalPort(),
|
| + pathSegment,
|
| + null,
|
| + null);
|
| return uri.toString();
|
| } catch (URISyntaxException e) {
|
| DartDebugCorePlugin.logError(e);
|
|
|