diff options
Diffstat (limited to 'packaging-tools/archiveresolver.py')
| -rw-r--r-- | packaging-tools/archiveresolver.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/packaging-tools/archiveresolver.py b/packaging-tools/archiveresolver.py index f70d58825..3c7d61239 100644 --- a/packaging-tools/archiveresolver.py +++ b/packaging-tools/archiveresolver.py @@ -122,8 +122,7 @@ class ArchiveLocationResolver: for server in self.server_list: if server.server_name == server_name: return server.server_url - print '*** Error! Unable to find server by name: ' + server_name - sys.exit(-1) + raise RuntimeError('*** Error! Unable to find server by name: %s' % server_name) ############################### |