android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

init: Ensure repo.mirror is noticed once set

Browse Source 
If we don't clear the cache, there can be a timestamp race between
the pickle file and the raw text file, and we may not pick up the
edit when we create a new config object around the same path name.

Signed-off-by: Shawn O. Pearce <sop@google.com>
This commit is contained in:
Shawn O. Pearce 2009-07-03 20:06:13 -07:00
parent ce86abbe8a
commit 7354d88914
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
subcmds/init.py
View File

@ -117,6 +117,7 @@ to update the working directory files.
if opt.mirror: if opt.mirror:
if is_new: if is_new:
m.config.SetString('repo.mirror', 'true') m.config.SetString('repo.mirror', 'true')
m.config.ClearCache()
else: else:
print >>sys.stderr, 'fatal: --mirror not supported on existing client' print >>sys.stderr, 'fatal: --mirror not supported on existing client'
sys.exit(1) sys.exit(1)