##// END OF EJS Templates
util: use '\\' rather than using r'\'...
Augie Fackler -
r30329:dadb00a0 default
parent child Browse files
Show More
@@ -2380,7 +2380,7 b' class url(object):'
2380
2380
2381 _safechars = "!~*'()+"
2381 _safechars = "!~*'()+"
2382 _safepchars = "/!~*'()+:\\"
2382 _safepchars = "/!~*'()+:\\"
2383 _matchscheme = remod.compile(r'^[a-zA-Z0-9+.\-]+:').match
2383 _matchscheme = remod.compile('^[a-zA-Z0-9+.\\-]+:').match
2384
2384
2385 def __init__(self, path, parsequery=True, parsefragment=True):
2385 def __init__(self, path, parsequery=True, parsefragment=True):
2386 # We slowly chomp away at path until we have only the path left
2386 # We slowly chomp away at path until we have only the path left
@@ -2394,7 +2394,7 b' class url(object):'
2394 path, self.fragment = path.split('#', 1)
2394 path, self.fragment = path.split('#', 1)
2395
2395
2396 # special case for Windows drive letters and UNC paths
2396 # special case for Windows drive letters and UNC paths
2397 if hasdriveletter(path) or path.startswith(r'\\'):
2397 if hasdriveletter(path) or path.startswith('\\\\'):
2398 self.path = path
2398 self.path = path
2399 return
2399 return
2400
2400
General Comments 0
You need to be logged in to leave comments. Login now