react-php/react — pull request #29 by cboden (2012-06-03 19:24:49+00:00)
Title: [Socket] shutdown on end

Calling stream_socket_shutdown when closing a client
close is often too slow or doesn't always notify the client that
the connection is closed.
stream_socket_shutdown will immediately drop the TCP peer