diff options
| author | Barry Warsaw | 2011-05-29 12:45:19 -0400 |
|---|---|---|
| committer | Barry Warsaw | 2011-05-29 12:45:19 -0400 |
| commit | 521a179d309fac857fdbbe162d5db136c3ec3b1e (patch) | |
| tree | ec6e635e9c0f8a5bd655a254f9c346f1acb6dd8e /src/mailman/queue/rest.py | |
| parent | 0f760798fb2490a03041c42018afbd59749e6cbd (diff) | |
| download | mailman-521a179d309fac857fdbbe162d5db136c3ec3b1e.tar.gz mailman-521a179d309fac857fdbbe162d5db136c3ec3b1e.tar.zst mailman-521a179d309fac857fdbbe162d5db136c3ec3b1e.zip | |
Diffstat (limited to 'src/mailman/queue/rest.py')
| -rw-r--r-- | src/mailman/queue/rest.py | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/src/mailman/queue/rest.py b/src/mailman/queue/rest.py deleted file mode 100644 index 31e840a51..000000000 --- a/src/mailman/queue/rest.py +++ /dev/null @@ -1,58 +0,0 @@ -# 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.queue 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 |
