srchea/PHP-Push-WebSocket — pull request #2 by evnix (2012-03-08 14:50:44+00:00)
Title: Exit the child process.

There is a quit command available. but what happens is if the user refreshes the page, a new process is forked again, but the old process is not killed, so to avoid that we kill the old process assigned to the client.