Since KeyboardInterrupt is "common" then catch the exception, print to stderr, and exit. No traceback, which says "error" to me...
This commit is contained in:
parent
6247de33da
commit
7539d5b70e
|
@ -2953,4 +2953,7 @@ if __name__ == '__main__':
|
||||||
osx.init()
|
osx.init()
|
||||||
|
|
||||||
Interface()
|
Interface()
|
||||||
|
try:
|
||||||
gtk.main()
|
gtk.main()
|
||||||
|
except KeyboardInterrupt:
|
||||||
|
print >> sys.stderr, 'KeyboardInterrupt'
|
||||||
|
|
Loading…
Reference in New Issue