mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
init: don't call urllib.parse
it's actually urllib.parse.urlparse Change-Id: Ie3532e54625e887c8682d92b932ea21a629e8d60
This commit is contained in:
parent
b1d1fd778d
commit
7993f3cdda
@ -27,7 +27,7 @@ else:
|
|||||||
import imp
|
import imp
|
||||||
import urlparse
|
import urlparse
|
||||||
urllib = imp.new_module('urllib')
|
urllib = imp.new_module('urllib')
|
||||||
urllib.parse = urlparse.urlparse
|
urllib.parse = urlparse
|
||||||
|
|
||||||
from color import Coloring
|
from color import Coloring
|
||||||
from command import InteractiveCommand, MirrorSafeCommand
|
from command import InteractiveCommand, MirrorSafeCommand
|
||||||
@ -153,7 +153,7 @@ to update the working directory files.
|
|||||||
# server where this git is located, so let's save that here.
|
# server where this git is located, so let's save that here.
|
||||||
mirrored_manifest_git = None
|
mirrored_manifest_git = None
|
||||||
if opt.reference:
|
if opt.reference:
|
||||||
manifest_git_path = urllib.parse(opt.manifest_url).path[1:]
|
manifest_git_path = urllib.parse.urlparse(opt.manifest_url).path[1:]
|
||||||
mirrored_manifest_git = os.path.join(opt.reference, manifest_git_path)
|
mirrored_manifest_git = os.path.join(opt.reference, manifest_git_path)
|
||||||
if not mirrored_manifest_git.endswith(".git"):
|
if not mirrored_manifest_git.endswith(".git"):
|
||||||
mirrored_manifest_git += ".git"
|
mirrored_manifest_git += ".git"
|
||||||
|
Loading…
Reference in New Issue
Block a user