diff options
author | Chris Dent <chris.dent@gmail.com> | 2018-10-23 13:44:19 +0000 |
---|---|---|
committer | Chris Dent <chris.dent@gmail.com> | 2018-10-23 13:44:19 +0000 |
commit | 057849aa0ca25c040823b3f6791d12eb57c25962 (patch) | |
tree | dc3e12713c8ebed73879da0f0f2dcf0905b89346 | |
parent | 6eda19004c46d8390ea7f755b360e3f68a97e40e (diff) | |
parent | 08ce4286f7a6833639746a09f81ca56edfda0eb7 (diff) | |
download | paste-git-057849aa0ca25c040823b3f6791d12eb57c25962.tar.gz |
Merged in jeblair/paste (pull request #38)
Fix error on httpserver shutdown
-rwxr-xr-x | paste/httpserver.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/paste/httpserver.py b/paste/httpserver.py index 035d818..11489b0 100755 --- a/paste/httpserver.py +++ b/paste/httpserver.py @@ -734,7 +734,11 @@ class ThreadPool(object): raise RuntimeError( "Cannot kill worker; killthread/ctypes not available") thread_obj = threading._active.get(thread_id) - killthread.async_raise(thread_id, SystemExit) + try: + killthread.async_raise(thread_id, SystemExit) + except ValueError: + # invalid thread id -- the thread has died in the mean time + pass try: del self.worker_tracker[thread_id] except KeyError: |