Catch keyboard interrupts (#11720)

This commit is contained in:
Oliver authored and GitHub committed 2026-04-11 13:46:55 +10:00
1 parent 3bd304bb4d
commit fffc55c764
3 files changed
+18 -2

No files matched your search

+5 -1
View File
@@ -22,4 +22,8 @@ def main():
if __name__ == '__main__':
main()
try:
main()
except KeyboardInterrupt:
print('INVE-W15: Process interrupted by user.')
sys.exit(1)