Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Graceful exit on KeyboardInterrupt (#10725)
Catch KeyboardInterrupt to allow graceful exit instead of printing the traceback. Adds options parsing to the KeyboardInterrupt handler. At the moment the traceback will only be printed on --show-traceback but can easily extend it to -v as well. Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
- Loading branch information