diff options
author | Rob Austein <sra@hactrn.net> | 2014-05-20 00:09:32 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2014-05-20 00:09:32 +0000 |
commit | 073ab401b43b9d51e79d70387b25e4cc6f8b01b7 (patch) | |
tree | 80b71fd98053425d73ce7bc323f739e43c2bffdd /rpki/publication.py | |
parent | cb34da98906421cde8c391da337055efef1d3e0d (diff) |
Handle KeyboardInterrupt in listener_main().
svn path=/trunk/; revision=5829
Diffstat (limited to 'rpki/publication.py')
0 files changed, 0 insertions, 0 deletions