[Webkit-unassigned] [Bug 66842] [WebSocket] Terminate existing WebSocket server before launch new one

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=66842





--- Comment #6 from Takashi Toyoshima <toyoshim at chromium.org>  2011-08-24 04:50:38 PST ---
All right, I see the situation.

So problem is that the parent process, run-webkit-websocketserver doesn't die when pywebsocket is killed, isn't it?
First, I tried to rewrite <STDIN> to waitpid($oldPid, 0) or hook SIGCHLD. But both of them didn't work.

Anyway, at least we need a change to shutdown only self launched server after hitting enter.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.