diff options
| author | Zachary Turner <zturner@google.com> | 2015-11-24 21:35:40 +0000 |
|---|---|---|
| committer | Zachary Turner <zturner@google.com> | 2015-11-24 21:35:40 +0000 |
| commit | cc3609362eca771104bc46bb9eb3d0a0846f2675 (patch) | |
| tree | 57f518ef27b4767f6b43ab641bee480b66723d2e /lldb/scripts/swig_bot.py | |
| parent | 0a2899ca82318b775dfba5bdbb42102393dc6f6e (diff) | |
| download | bcm5719-llvm-cc3609362eca771104bc46bb9eb3d0a0846f2675.tar.gz bcm5719-llvm-cc3609362eca771104bc46bb9eb3d0a0846f2675.zip | |
Make swig_bot server support Ctrl+C
llvm-svn: 254024
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.") |
