Plugins/VcsPlugins/vcsSubversion/subversion.py

changeset 1890
6523d664e754
parent 1888
03f59d88a62d
child 1894
a7096cf751db
--- a/Plugins/VcsPlugins/vcsSubversion/subversion.py	Sun Jun 10 16:45:10 2012 +0200
+++ b/Plugins/VcsPlugins/vcsSubversion/subversion.py	Sun Jun 10 17:55:19 2012 +0200
@@ -2045,7 +2045,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