diff options
Diffstat (limited to 'lldb/scripts/swig_bot.py')
| -rw-r--r-- | lldb/scripts/swig_bot.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lldb/scripts/swig_bot.py b/lldb/scripts/swig_bot.py index 38e65ca1e26..0f5238e1a81 100644 --- a/lldb/scripts/swig_bot.py +++ b/lldb/scripts/swig_bot.py @@ -57,6 +57,9 @@ if __name__ == "__main__": else: logging.error("Unknown mode specified. Expected client or server.") sys.exit(-1) + except KeyboardInterrupt as e: + logging.info("Ctrl+C received. Shutting down...") + sys.exit(-1) except Exception as e: error = traceback.format_exc() logging.error("An error occurred running swig-bot.") |
