##// END OF EJS Templates
Allow "file://localhost/" in addition to "file:///" (issue728)...
Thomas Arendsen Hein -
r6165:0d36de68 default
parent child Browse files
Show More
@@ -119,6 +119,8 b' def clone(ui, source, dest=None, pull=Fa'
119 119 ui.status(_("destination directory: %s\n") % dest)
120 120
121 121 def localpath(path):
122 if path.startswith('file://localhost/'):
123 return path[16:]
122 124 if path.startswith('file://'):
123 125 return path[7:]
124 126 if path.startswith('file:'):
General Comments 0
You need to be logged in to leave comments. Login now