diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2010-01-29 12:33:32 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2010-01-29 12:33:32 +0000 |
commit | ce066059c3e16c128e43fd8c7094a3113054efb1 (patch) | |
tree | 0393d3ed8e7b76c6e4fee2c963869a3f5fb90829 /devtools | |
parent | 50b0f4a586f1805e749d4c5df54d7a5e71b9225d (diff) | |
download | gpsd-ce066059c3e16c128e43fd8c7094a3113054efb1.tar.gz |
Cope with interrupts more gracefully.
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/ais.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools/ais.py b/devtools/ais.py index 82c4f7ec..3f2cbc49 100755 --- a/devtools/ais.py +++ b/devtools/ais.py @@ -859,6 +859,8 @@ def parse_ais_messages(source, scaled=False, skiperr=False, verbose=0): raw = '' except KeyboardInterrupt: raise KeyboardInterrupt + except GeneratorExit: + raise GeneratorExit except AISUnpackingException, e: if skiperr: sys.stderr.write("%s: %s\n" % (`e`, raw.strip())) |