Index: git_nav_downstream.py |
diff --git a/git_nav_downstream.py b/git_nav_downstream.py |
index bce850e4163e05652b68faf83a392bccc62bf249..47508c2544a974fab0ba4dec442ebc8221355618 100755 |
--- a/git_nav_downstream.py |
+++ b/git_nav_downstream.py |
@@ -58,4 +58,7 @@ def main(args): |
if __name__ == '__main__': |
- sys.exit(main(sys.argv[1:])) |
+ try: |
+ sys.exit(main(sys.argv[1:])) |
+ except KeyboardInterrupt: |
+ pass |