Parcourir la source
Merge pull request #60 from Deuchnord/fix-KeyboardInterrupt
Handle KeyboardInterrupt exception
tags/v0.6.1
Jérôme Deuchnord
il y a 5 ans
committed by
GitHub
Parent
révision
44907bf828
Aucune clé connue n'a été trouvée dans la base pour cette signature
ID de la clé GPG: 4AEE18F83AFDEB23
1 fichiers modifiés avec
4 ajouts et
1 suppressions
-
kosmorro
|
|
|
@@ -23,4 +23,7 @@ from kosmorrolib.main import main |
|
|
|
locale.setlocale(locale.LC_ALL, '') |
|
|
|
|
|
|
|
if __name__ == '__main__': |
|
|
|
sys.exit(main()) |
|
|
|
try: |
|
|
|
sys.exit(main()) |
|
|
|
except KeyboardInterrupt: |
|
|
|
sys.exit(1) |
