-
Tristan Matthews authored
This would be the case if the user hits Ctrl-C once, the application doesn't quit, and so they hit Ctrl-C again.
11a0be4a
This would be the case if the user hits Ctrl-C once, the application doesn't quit, and so they hit Ctrl-C again.