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 /paste | |
| parent | 6eda19004c46d8390ea7f755b360e3f68a97e40e (diff) | |
| parent | 08ce4286f7a6833639746a09f81ca56edfda0eb7 (diff) | |
| download | paste-git-057849aa0ca25c040823b3f6791d12eb57c25962.tar.gz | |
Merged in jeblair/paste (pull request #38)
Fix error on httpserver shutdown
Diffstat (limited to 'paste')
| -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: |
