diff options
| author | pjenvey <pjenvey@localhost> | 2006-12-13 00:21:17 +0000 |
|---|---|---|
| committer | pjenvey <pjenvey@localhost> | 2006-12-13 00:21:17 +0000 |
| commit | cfb69b8d5ce07192a8c2c49a91bcbc7619c2d1bc (patch) | |
| tree | 371d1064a077c12bdd3354055b3a4c37b3ae4f03 /paste/httpserver.py | |
| parent | f6a583cf7dce3ebfb1ad26c9d9d913ed82a23a3a (diff) | |
| download | paste-git-cfb69b8d5ce07192a8c2c49a91bcbc7619c2d1bc.tar.gz | |
fixed ThreadPoolMixIn.server_close to shutdown its thread pool
fixed #140
(thanks jek)
Diffstat (limited to 'paste/httpserver.py')
| -rwxr-xr-x | paste/httpserver.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/paste/httpserver.py b/paste/httpserver.py index 5da39d5..3990da8 100755 --- a/paste/httpserver.py +++ b/paste/httpserver.py @@ -437,6 +437,7 @@ class ThreadPoolMixIn: """ self.running = False self.socket.close() + self.thread_pool.shutdown() class WSGIServerBase(SecureHTTPServer): def __init__(self, wsgi_application, server_address, |