diff options
| author | Barry Warsaw | 2011-05-29 16:49:28 -0400 |
|---|---|---|
| committer | Barry Warsaw | 2011-05-29 16:49:28 -0400 |
| commit | 0f85fb344688e1982e9320e79b7fb38eefc1ac53 (patch) | |
| tree | ec6e635e9c0f8a5bd655a254f9c346f1acb6dd8e /src/mailman/runners/rest.py | |
| parent | 0f760798fb2490a03041c42018afbd59749e6cbd (diff) | |
| parent | 521a179d309fac857fdbbe162d5db136c3ec3b1e (diff) | |
| download | mailman-0f85fb344688e1982e9320e79b7fb38eefc1ac53.tar.gz mailman-0f85fb344688e1982e9320e79b7fb38eefc1ac53.tar.zst mailman-0f85fb344688e1982e9320e79b7fb38eefc1ac53.zip | |
Diffstat (limited to 'src/mailman/runners/rest.py')
| -rw-r--r-- | src/mailman/runners/rest.py | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/src/mailman/runners/rest.py b/src/mailman/runners/rest.py new file mode 100644 index 000000000..1e631c6a3 --- /dev/null +++ b/src/mailman/runners/rest.py @@ -0,0 +1,58 @@ +# Copyright (C) 2009-2011 by the Free Software Foundation, Inc. +# +# This file is part of GNU Mailman. +# +# GNU Mailman is free software: you can redistribute it and/or modify it under +# the terms of the GNU General Public License as published by the Free +# Software Foundation, either version 3 of the License, or (at your option) +# any later version. +# +# GNU Mailman is distributed in the hope that it will be useful, but WITHOUT +# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for +# more details. +# +# You should have received a copy of the GNU General Public License along with +# GNU Mailman. If not, see <http://www.gnu.org/licenses/>. + +"""Start the administrative HTTP server.""" + +from __future__ import absolute_import, unicode_literals + +__metaclass__ = type +__all__ = [ + 'RESTRunner', + ] + + +import sys +import errno +import select +import signal +import logging + +from mailman.core.runner import Runner +from mailman.rest.wsgiapp import make_server + + +log = logging.getLogger('mailman.http') + + + +class RESTRunner(Runner): + intercept_signals = False + + def run(self): + log.info('Starting REST server') + try: + make_server().serve_forever() + except KeyboardInterrupt: + log.info('REST server interrupted') + sys.exit(signal.SIGTERM) + except select.error as (errcode, message): + if errcode == errno.EINTR: + log.info('REST server exiting') + sys.exit(signal.SIGTERM) + raise + except: + raise |
