diff options
| author | Adam Spiers <github@adamspiers.org> | 2021-04-03 19:22:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-03 19:22:38 +0100 |
| commit | b7d047d634ddaef1e85e7d99002a06c952585db0 (patch) | |
| tree | ee2e6e63154b9c757781f8dea1a73058efca8932 | |
| parent | 49fc59e4c57af93d38067b5aa81daac9ce563fb1 (diff) | |
| parent | f19669e964912bd289f1255edc18f88e3f1f0683 (diff) | |
| download | git-deps-b7d047d634ddaef1e85e7d99002a06c952585db0.tar.gz | |
Merge pull request #94 from aspiers/ctrl-c
Don't totally ignore KeyboardInterrupt
| -rwxr-xr-x | git_deps/cli.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_deps/cli.py b/git_deps/cli.py index 9f3db04..34a45e1 100755 --- a/git_deps/cli.py +++ b/git_deps/cli.py @@ -122,7 +122,7 @@ def cli(options, args): try: detector.find_dependencies(rev) except KeyboardInterrupt: - pass + break if options.json: print(json.dumps(listener.json(), sort_keys=True, indent=4)) |