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(); |