In case you have some trouble to properly disconnect some client streams opened with stream_socket_server / stream_select you should give a try to stream_socket_shutdown.
<?php stream_socket_shutdown($clientStream,STREAM_SHUT_RDWR); ?>