diff options
| -rwxr-xr-x | mini-dinstall | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mini-dinstall b/mini-dinstall index 347b4c1..e35ffb4 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -1031,6 +1031,9 @@ class ArchiveDir: traceback.print_exception(Exception, exception, None, None, f) f.close() for file in [x[2] for x in changefile.getFiles()]: + if not os.path.exists(os.path.join(incomingdir, file)): + self._logger.warning('Could not find file "%s", skipping' % file) + continue if os.access(os.path.join(incomingdir, file), os.R_OK): file = os.path.join(incomingdir, file) else: |