diff options
Diffstat (limited to 'rpkid/rpki/async.py')
| -rw-r--r-- | rpkid/rpki/async.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rpkid/rpki/async.py b/rpkid/rpki/async.py index 164e0102..83df75eb 100644 --- a/rpkid/rpki/async.py +++ b/rpkid/rpki/async.py @@ -183,3 +183,7 @@ def event_loop(catch_signals = (signal.SIGINT, signal.SIGTERM)): finally: for sig, handler in old_signal_handlers: signal.signal(sig, handler) + +def exit_event_loop(): + """Force exit from event_loop().""" + raise asyncore.ExitNow |