Plugins/VcsPlugins/vcsSubversion/subversion.py

branch
5_2_x
changeset 1891
400900cc80b1
parent 1838
03fca22bc7fe
child 1896
00a011db5c84
diff -r fc774fba0426 -r 400900cc80b1 Plugins/VcsPlugins/vcsSubversion/subversion.py
--- a/Plugins/VcsPlugins/vcsSubversion/subversion.py	Sat Jun 02 17:41:24 2012 +0200
+++ b/Plugins/VcsPlugins/vcsSubversion/subversion.py	Sun Jun 10 17:55:19 2012 +0200
@@ -1979,7 +1979,7 @@
         protocol, url = url.split("://")
         if url.startswith("\\\\"):
             url = url[2:]
-        url = url.replace('\\', '/')
+        url = os.path.normcase(url).replace('\\', '/')
         if url.endswith('/'):
             url = url[:-1]
         if not url.startswith("/") and url[1] in [":", "|"]:

eric ide

mercurial