Index: gclient.py |
diff --git a/gclient.py b/gclient.py |
index 90b75d9a2d64604c6cd4ec4f00e6ec5920e75c10..efe02a92ca66ea3ad6118ff2f618c51fc9acf2ec 100755 |
--- a/gclient.py |
+++ b/gclient.py |
@@ -1783,7 +1783,11 @@ def Main(argv): |
if '__main__' == __name__: |
- fix_encoding.fix_encoding() |
- sys.exit(Main(sys.argv[1:])) |
+ try: |
+ fix_encoding.fix_encoding() |
+ sys.exit(Main(sys.argv[1:])) |
+ except KeyboardInterrupt: |
M-A Ruel
2013/05/03 16:39:01
Why not inside Main()?
|
+ gclient_utils.KillAllRemainingChildren() |
+ raise |
# vim: ts=2:sw=2:tw=80:et: |