diff --git a/setup/resources.py b/setup/resources.py index d7805f8d31..ac1d5990af 100644 --- a/setup/resources.py +++ b/setup/resources.py @@ -62,8 +62,13 @@ class Coffee(Command): # {{{ '*.coffee')): bn = os.path.basename(f).rpartition('.')[0] arcname = src.replace('/', '.') + '.' + bn + '.js' - with open(f, 'rb') as fs: - src_files[arcname] = (f, hashlib.sha1(fs.read()).hexdigest()) + try: + with open(f, 'rb') as fs: + src_files[arcname] = (f, hashlib.sha1(fs.read()).hexdigest()) + except EnvironmentError: + time.sleep(0.1) + with open(f, 'rb') as fs: + src_files[arcname] = (f, hashlib.sha1(fs.read()).hexdigest()) existing = {} dest = self.j(self.RESOURCES, 'compiled_coffeescript.zip')