diff options
| author | Aldo Cortesi <aldo@nullcube.com> | 2012-05-31 21:18:41 -0700 |
|---|---|---|
| committer | Aldo Cortesi <aldo@nullcube.com> | 2012-05-31 21:18:41 -0700 |
| commit | f9b04b84cd48b903ecd83092c6c4b9fd5f4fd438 (patch) | |
| tree | 44ef9df801bc669b6a71b9ac659f6ddd5eaf02d1 | |
| parent | ee2950cd1979e7f5fdc6d5df43d83d0a6a0ce5dc (diff) | |
| download | mitmproxy-f9b04b84cd48b903ecd83092c6c4b9fd5f4fd438.tar.gz mitmproxy-f9b04b84cd48b903ecd83092c6c4b9fd5f4fd438.tar.bz2 mitmproxy-f9b04b84cd48b903ecd83092c6c4b9fd5f4fd438.zip | |
Silence a (rare) KeyboardInterrupt exception in mitmproxy.
| -rwxr-xr-x | mitmproxy | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -61,6 +61,9 @@ if __name__ == '__main__': opts.intercept = options.intercept opts.debug = options.debug m = console.ConsoleMaster(server, opts) - m.run() + try: + m.run() + except KeyboardInterrupt: + pass |