diff options
| -rw-r--r-- | rpkid/portal-gui/scripts/rpkigui-check-expired.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/rpkid/portal-gui/scripts/rpkigui-check-expired.py b/rpkid/portal-gui/scripts/rpkigui-check-expired.py index 580c007c..616c573c 100644 --- a/rpkid/portal-gui/scripts/rpkigui-check-expired.py +++ b/rpkid/portal-gui/scripts/rpkigui-check-expired.py @@ -163,8 +163,7 @@ for h in qs: try: list_received_resources(sys.stdout, h) except socket.error, e: - print >>sys.stderr, 'Error while talking to rpkid: %s' % e - sys.exit(1) + sys.exit('Error while talking to rpkid: %s' % e) errs = StringIO() |