Update websocket.py
This commit is contained in:
parent
c8305399cf
commit
4e5967ff09
|
|
@ -1087,7 +1087,7 @@ class WebSocketServer(object):
|
||||||
pid = child.pid
|
pid = child.pid
|
||||||
if pid != os.getpid():
|
if pid != os.getpid():
|
||||||
self.msg("Terminating child %s" % pid)
|
self.msg("Terminating child %s" % pid)
|
||||||
os.kill(pid, signal.SIGTERM)
|
child.terminate()
|
||||||
|
|
||||||
break
|
break
|
||||||
except Exception:
|
except Exception:
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue