diff options
author | Jack Jansen <jack.jansen@cwi.nl> | 2001-03-06 22:43:06 (GMT) |
---|---|---|
committer | Jack Jansen <jack.jansen@cwi.nl> | 2001-03-06 22:43:06 (GMT) |
commit | 36bcf9b94f8cbec99881f07225f4c682a7fecbe2 (patch) | |
tree | 82a3d38d59e32bca7c64f0ec5122ebe9079d3aef /Mac/scripts | |
parent | cbe7b1c93e1c428356e48eb5512bdffd20ceca94 (diff) | |
download | cpython-36bcf9b94f8cbec99881f07225f4c682a7fecbe2.zip cpython-36bcf9b94f8cbec99881f07225f4c682a7fecbe2.tar.gz cpython-36bcf9b94f8cbec99881f07225f4c682a7fecbe2.tar.bz2 |
Re-try the file copy once if it fails. This works around an obscure and non-reproducibe bug in GUSI.
Diffstat (limited to 'Mac/scripts')
-rw-r--r-- | Mac/scripts/MkDistr.py | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Mac/scripts/MkDistr.py b/Mac/scripts/MkDistr.py index f446b34..3e2ee27 100644 --- a/Mac/scripts/MkDistr.py +++ b/Mac/scripts/MkDistr.py @@ -292,9 +292,15 @@ class Main: try: macostools.copy(fullname, os.path.join(destprefix, dest), 1) except: #DBG - print 'cwd', os.getcwd() #DBG - print 'fsspec', macfs.FSSpec(fullname) #DBG - raise + print '*** Copy failed mysteriously, try again' + print '*** cwd', os.getcwd() #DBG + print '*** fsspec', macfs.FSSpec(fullname) #DBG + # Get rid of open files + try: + i = 1 / 0 + except: + pass + macostools.copy(fullname, os.path.join(destprefix, dest), 1) for d in todo: if not self.rundir(d, destprefix, doit): rv = 0 |