mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-11-15 08:47:11 +00:00
Only remove a stale pickle file if it exists
Signed-off-by: Shawn O. Pearce <sop@google.com>
This commit is contained in:
1 parent
1875ddd47c
commit
b0ca41e19a
1 file changed
+4
-2
+4
-2
@@ -262,9 +262,11 @@ class GitConfig(object):
|
||||
finally:
|
||||
fd.close()
|
||||
except IOError:
|
||||
os.remove(self._pickle)
|
||||
if os.path.exists(self._pickle):
|
||||
os.remove(self._pickle)
|
||||
except cPickle.PickleError:
|
||||
os.remove(self._pickle)
|
||||
if os.path.exists(self._pickle):
|
||||
os.remove(self._pickle)
|
||||
|
||||
def _ReadGit(self):
|
||||
"""
|
||||
|
||||
Reference in new issue
Block a user