android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-02 16:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "sync: assign manifest_name earlier"

Browse Source
This commit is contained in:
David Pursehouse 2013-06-11 13:58:47 +00:00 committed by Gerrit Code Review
commit 854f2b6ef4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
subcmds/sync.py
View File

@ -487,6 +487,8 @@ later is required to fix a server side protocol bug.
if opt.manifest_name:
self.manifest.Override(opt.manifest_name)
manifest_name = opt.manifest_name
if opt.smart_sync or opt.smart_tag:
if not self.manifest.manifest_server:
print('error: cannot smart sync: no manifest server defined in '
@ -526,7 +528,6 @@ later is required to fix a server side protocol bug.
(username, password),
1)
manifest_name = opt.manifest_name
try:
server = xmlrpc.client.Server(manifest_server)
if opt.smart_sync: