| Index: lib/compiler/implementation/filenames.dart
|
| diff --git a/lib/compiler/implementation/filenames.dart b/lib/compiler/implementation/filenames.dart
|
| index ad086b3242eb636f6261cd3edbbf3a3fb37f5db1..d3f4e7b3ab3baff6a11d3562ffb73defee102b4f 100644
|
| --- a/lib/compiler/implementation/filenames.dart
|
| +++ b/lib/compiler/implementation/filenames.dart
|
| @@ -14,23 +14,11 @@
|
| // http://blogs.msdn.com/b/ie/archive/2006/12/06/file-uris-in-windows.aspx
|
|
|
| String nativeToUriPath(String filename) {
|
| - if (Platform.operatingSystem != 'windows') return filename;
|
| - filename = filename.toLowerCase();
|
| - filename = filename.replaceAll('\\', '/');
|
| - if (filename.length > 2 && filename[1] == ':') {
|
| - filename = "/$filename";
|
| - }
|
| - return filename;
|
| + return new Path.fromNative(filename).toString();
|
| }
|
|
|
| String uriPathToNative(String path) {
|
| - if (Platform.operatingSystem != 'windows') return path;
|
| - path = path.toLowerCase();
|
| - if (path.length > 3 && path[0] == '/' && path[2] == ':') {
|
| - return path.substring(1).replaceAll('/', '\\');
|
| - } else {
|
| - return path.replaceAll('/', '\\');
|
| - }
|
| + return new Path(path).toNativePath();
|
| }
|
|
|
| Uri getCurrentDirectory() {
|
|
|