mirror of
https://github.com/kiviktnm/decman.git
synced 2026-09-19 12:08:28 +00:00
Handle KeyboardInterrupt
This commit is contained in:
@@ -106,6 +106,9 @@ def main():
|
|||||||
)
|
)
|
||||||
output.print_error("This may cause already completed operations to run again.")
|
output.print_error("This may cause already completed operations to run again.")
|
||||||
output.print_traceback()
|
output.print_traceback()
|
||||||
|
except KeyboardInterrupt:
|
||||||
|
output.print_error("Interrupted by the user.")
|
||||||
|
failed = True
|
||||||
finally:
|
finally:
|
||||||
os.chdir(original_wd)
|
os.chdir(original_wd)
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user