| Index: dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/server/VmUtils.java
|
| ===================================================================
|
| --- dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/server/VmUtils.java (revision 31466)
|
| +++ dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/server/VmUtils.java (working copy)
|
| @@ -39,6 +39,11 @@
|
| // Use the URI class to convert things like '%20' ==> ' '.
|
| URI uri = URI.create(url);
|
|
|
| + // If there's no provided uri scheme, then return the original url.
|
| + if (uri.getScheme() == null) {
|
| + return url;
|
| + }
|
| +
|
| if (url.startsWith(ECLIPSE_FORMAT)) {
|
| // The VM also wants file urls to start with file:///, not file:/.
|
| url = uri.getScheme() + "://" + uri.getPath();
|
|
|