| Index: sdk/lib/uri/helpers.dart
|
| diff --git a/sdk/lib/uri/helpers.dart b/sdk/lib/uri/helpers.dart
|
| deleted file mode 100644
|
| index 2a16a47c7376c3116233fe64e5d12b99b807194a..0000000000000000000000000000000000000000
|
| --- a/sdk/lib/uri/helpers.dart
|
| +++ /dev/null
|
| @@ -1,29 +0,0 @@
|
| -// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -part of dart.uri;
|
| -
|
| -String merge(String base, String reference) {
|
| - if (base == "") return "/$reference";
|
| - return "${base.substring(0, base.lastIndexOf("/") + 1)}$reference";
|
| -}
|
| -
|
| -String removeDotSegments(String path) {
|
| - List<String> output = [];
|
| - bool appendSlash = false;
|
| - for (String segment in path.split("/")) {
|
| - appendSlash = false;
|
| - if (segment == "..") {
|
| - if (!output.isEmpty &&
|
| - ((output.length != 1) || (output[0] != ""))) output.removeLast();
|
| - appendSlash = true;
|
| - } else if ("." == segment) {
|
| - appendSlash = true;
|
| - } else {
|
| - output.add(segment);
|
| - }
|
| - }
|
| - if (appendSlash) output.add("");
|
| - return output.join("/");
|
| -}
|
|
|