server: Ignore ProcessNotFound exception in procpool
The exception can happen because we currencly terminate worker
processes rather abruptly.  It should be safe to ignore because at that
stage we are waiting for the worker process to finish, and if we get
this error it means that the worker process is already dead.
@@ -84,7 +84,10 @@ class Worker:
self._server.get_by_pid(self._proc.pid),
PROCESS_INITIAL_RESPONSE_TIMEOUT)
except Exception:
+ try:
self._proc.kill()
+ except ProcessLookupError:
+ pass
raise
def get_pid(self):
