Index: runtime/bin/builtin.dart |
diff --git a/runtime/bin/builtin.dart b/runtime/bin/builtin.dart |
index 91702ab412621dfa77515676f8fc0b17cfd065dd..7546f404a85036af11e54fba52f2c70d630952ab 100644 |
--- a/runtime/bin/builtin.dart |
+++ b/runtime/bin/builtin.dart |
@@ -236,6 +236,7 @@ String _filePathFromUri(String userUri) { |
// http://blogs.msdn.com/b/ie/archive/2006/12/06/file-uris-in-windows.aspx |
// |
// Drop the leading / before the drive letter. |
+ // TODO(14577): Handle paths like \\server\share\dir\file. |
path = path.substring(1); |
_logResolution('# Path: Removed leading / -> $path'); |
} |