diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2023-07-06 11:04:58 +1000 |
|---|---|---|
| committer | Sergey Udaltsov <sergey.udaltsov@gmail.com> | 2023-10-28 11:53:20 +0000 |
| commit | b39d2560cedf28478caf3e128d350589fdefe6ce (patch) | |
| tree | 7ee0efe567426429722061ffd9716bc354829581 | |
| parent | 18e3a2ad73404aa67d8afeed64fcbf745f60e33f (diff) | |
scripts/symbols-tree: gracefully handle a KeyboardInterrupt
No need to print a stack trace here.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
| -rwxr-xr-x | scripts/symbols-tree.py | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/scripts/symbols-tree.py b/scripts/symbols-tree.py index 9c755e11..32214dff 100755 --- a/scripts/symbols-tree.py +++ b/scripts/symbols-tree.py @@ -186,9 +186,12 @@ if __name__ == "__main__": XkbLoader.create(xkb_basedir) - for file in files: - try: - sections = XkbLoader.load_symbols(file.resolve()) - list_sections(sections, filter_section=ns.section) - except XkbLoader.XkbParserException: - pass + try: + for file in files: + try: + sections = XkbLoader.load_symbols(file.resolve()) + list_sections(sections, filter_section=ns.section) + except XkbLoader.XkbParserException: + pass + except KeyboardInterrupt: + pass |