diff options
| author | Michael Elkins <melkins@tislabs.com> | 2012-07-16 21:44:25 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2012-07-16 21:44:25 +0000 |
| commit | 31f29ab5ca6511f54dceb74b80e942f4c88b5d4e (patch) | |
| tree | 572e1968980c241b5f9fe46612ac2e8aa0f0ca17 /rpkid/portal-gui/scripts | |
| parent | 72aadbddd83233933f7f14a98134ff2f39fb7422 (diff) | |
simplify exiting the script
svn path=/trunk/; revision=4604
Diffstat (limited to 'rpkid/portal-gui/scripts')
| -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() |