diff options
| author | Rob Austein <sra@hactrn.net> | 2008-06-05 19:58:01 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2008-06-05 19:58:01 +0000 |
| commit | babcfd3b2e9c6aaa8e4015b1e10187c4c82e4220 (patch) | |
| tree | 48f3f497734604f7f32752425c87e1350a9c729b /rpkid/rpki/exceptions.py | |
| parent | d5d0045ae8544b63b26bec4fdaccf8fea81ebb0f (diff) | |
Wrap signal handlers httpd.server_forever() to allow a clean shutdown,
so that profiling will work properly.
svn path=/rpkid/rpki/exceptions.py; revision=1846
Diffstat (limited to 'rpkid/rpki/exceptions.py')
| -rw-r--r-- | rpkid/rpki/exceptions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpkid/rpki/exceptions.py b/rpkid/rpki/exceptions.py index b3db4737..9298ae24 100644 --- a/rpkid/rpki/exceptions.py +++ b/rpkid/rpki/exceptions.py @@ -123,3 +123,6 @@ class UnparsableCMSDER(RPKI_Exception): class CMSCRLNotSet(RPKI_Exception): """CMS CRL has not been configured.""" + +class ServerShuttingDown(RPKI_Exception): + """Server is shutting down.""" |