| 3830 | """ |
| 3831 | |
| 3832 | def run(self, handler): |
| 3833 | from gevent import pywsgi, local |
| 3834 | if not isinstance(threading.local(), local.local): |
| 3835 | msg = "Bottle requires gevent.monkey.patch_all() (before import)" |
| 3836 | raise RuntimeError(msg) |
| 3837 | if self.quiet: |
| 3838 | self.options['log'] = None |
| 3839 | address = (self.host, self.port) |
| 3840 | server = pywsgi.WSGIServer(address, handler, **self.options) |
| 3841 | if 'BOTTLE_CHILD' in os.environ: |
| 3842 | import signal |
| 3843 | signal.signal(signal.SIGINT, lambda s, f: server.stop()) |
| 3844 | server.serve_forever() |
| 3845 | |
| 3846 | |
| 3847 | class GunicornServer(ServerAdapter): |