##// END OF EJS Templates
dispatch: handle late KeyboardInterrupt occurred in run()...
Yuya Nishihara -
r45662:efcc87d3 default
parent child Browse files
Show More
@@ -140,8 +140,10 b' def run():'
140 status = -1
140 status = -1
141
141
142 _silencestdio()
142 _silencestdio()
143 finally:
143 except KeyboardInterrupt:
144 pass
144 # Catch early/late KeyboardInterrupt as last ditch. Here nothing will
145 # be printed to console to avoid another IOError/KeyboardInterrupt.
146 status = -1
145 sys.exit(status & 255)
147 sys.exit(status & 255)
146
148
147
149
General Comments 0
You need to be logged in to leave comments. Login now