| 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');
|
| }
|
|
|