##// 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 ui.status(_("destination directory: %s\n") % dest)
119 ui.status(_("destination directory: %s\n") % dest)
120
120
121 def localpath(path):
121 def localpath(path):
122 if path.startswith('file://localhost/'):
123 return path[16:]
122 if path.startswith('file://'):
124 if path.startswith('file://'):
123 return path[7:]
125 return path[7:]
124 if path.startswith('file:'):
126 if path.startswith('file:'):
General Comments 0
You need to be logged in to leave comments. Login now