Utilities/__init__.py

changeset 5385
b1ed8297b183
parent 5331
8d607cd52f26
child 5389
9b1c800daff3
diff -r 22c15d7e2cad -r b1ed8297b183 Utilities/__init__.py
--- a/Utilities/__init__.py	Mon Dec 19 13:30:52 2016 +0100
+++ b/Utilities/__init__.py	Wed Dec 21 13:25:01 2016 +0100
@@ -861,7 +861,10 @@
         if path == start:
             return ""
         else:
-            return path[len(start) + 1:]
+            if start.endswith(("/", "\\")):
+                return path[len(start):]
+            else:
+                return path[len(start) + 1:]
     else:
         return path
 

eric ide

mercurial