diff options
| author | 2022-11-14 13:56:17 +0100 | |
|---|---|---|
| committer | 2024-05-17 00:59:12 +0000 | |
| commit | 5819c56729a679a3baa05c8cc3da5e1a5412a731 (patch) | |
| tree | ca48f6ee7643f9792b1320d334461726ea35e1a4 /mini-dinstall | |
| parent | 6038d1e16d2a7f83f5538bbae096a021cd3454b8 (diff) | |
Skip missing files when rejecting packages
Diffstat (limited to 'mini-dinstall')
| -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: |
