Chromium Code Reviews| Index: drover.py |
| diff --git a/drover.py b/drover.py |
| index ec8620c81fe432554a4a3890341e14ebb9f935b7..87025300d680b4c154896b071e13d5e996487aa5 100755 |
| --- a/drover.py |
| +++ b/drover.py |
| @@ -642,4 +642,8 @@ def main(): |
| if __name__ == "__main__": |
| - sys.exit(main()) |
| + try: |
| + sys.exit(main()) |
| + except KeyboardInterrupt: |
| + sys.stderr.write('interrupted\n') |
| + sys.exit(1) |