diff options
| author | Rémi Verschelde | 2016-10-03 12:00:22 +0200 |
|---|---|---|
| committer | GitHub | 2016-10-03 12:00:22 +0200 |
| commit | bf89f43927d379ac1d0f2e00bcc8bfc9884bf3a9 (patch) | |
| tree | 1d2a919999133300f24dc4882e92a8bd99436164 | |
| parent | ad280e7bfccc150b81abd999f692bf1219ec87d1 (diff) | |
| parent | 0866f49f4e2ac6f0400502f5e6ca9a13dd8c7db9 (diff) | |
| download | godot-bf89f43927d379ac1d0f2e00bcc8bfc9884bf3a9.tar.gz godot-bf89f43927d379ac1d0f2e00bcc8bfc9884bf3a9.tar.zst godot-bf89f43927d379ac1d0f2e00bcc8bfc9884bf3a9.zip | |
| -rw-r--r-- | core/ustring.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/core/ustring.cpp b/core/ustring.cpp index f7dcba6b1..2e907381f 100644 --- a/core/ustring.cpp +++ b/core/ustring.cpp @@ -3073,6 +3073,11 @@ String String::simplify_path() const { } s =s.replace("\\","/"); + while(true){ // in case of using 2 or more slash + String compare = s.replace("//","/"); + if (s==compare) break; + else s=compare; + } Vector<String> dirs = s.split("/",false); for(int i=0;i<dirs.size();i++) { |