HomePhabricator

dispatch: handle late KeyboardInterrupt occurred in run()

Authored by yuja.

Description

dispatch: handle late KeyboardInterrupt occurred in run()

User can press Ctrl+C while flushing streams in dispatch.run(). In such case,
I think exiting with 255 is better than printing Python traceback and exiting
with 1.

Details

Committed
yujaJul 13 2020, 8:14 AM
Parents
rHG9e6b86a8f438: dispatch: indent run() function
Branches
Unknown
Tags
Unknown