diff options
author | René Stadler <mail@renestadler.de> | 2009-01-29 23:14:17 +0200 |
---|---|---|
committer | René Stadler <mail@renestadler.de> | 2009-02-07 23:07:56 +0200 |
commit | 200324dec3d645f04967f0ab53fb63ed7106a303 (patch) | |
tree | 67aa6be0cdbab161a0b5da457e0933aa354dcf1a | |
parent | 239f8e1c9c883c71d8f3ab4082c81339d1f9d768 (diff) |
main: Improve KeyboardInterrupt (SIGINT) stderr message
-rw-r--r-- | GstInspector/main.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/GstInspector/main.py b/GstInspector/main.py index 887f3a7..ee396b9 100644 --- a/GstInspector/main.py +++ b/GstInspector/main.py @@ -77,7 +77,11 @@ class ExitOnInterruptExceptionHandler (ExceptionHandler): def __call__ (self, *args): - print >> sys.stderr, "Interrupt caught, exiting." + try: + msg = "%s: Interrupt caught, exiting..." % (gobject.get_prgname (),) + print >> sys.stderr, os.linesep + msg + except (AttributeError, EnvironmentError,): + pass sys.exit (self.exit_status) |