diff options
| author | Shawn O. Pearce <sop@google.com> | 2009-07-03 20:06:13 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2009-07-03 20:50:52 -0700 |
| commit | 7354d8891480f5eaa535acc38a24f42ea63b18a6 (patch) | |
| tree | d8e9f479a031563f7dede6ed2402c81bebfb97f3 /manifest_loader.py | |
| parent | ce86abbe8ab9389fbad9d375e3754ed054d8b744 (diff) | |
| download | git-repo-7354d8891480f5eaa535acc38a24f42ea63b18a6.tar.gz | |
init: Ensure repo.mirror is noticed once set
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>
Diffstat (limited to 'manifest_loader.py')
0 files changed, 0 insertions, 0 deletions