title: Closing old php websocket
body: <p>I am using <a href="https://github.com/ghedipunk/PHP-Websockets" rel="nofollow">PHP-Websockets</a> to create a simple chat server. I have everything working correctly when I run the php script that creates the websocket on my server for the first time. If the script stops for some reason and I try to rerun it, I get an error saying that the script could not bind the socket because it already exists. </p>
  
  <p>How can I make a script to find this old socket (given that I know which port it is running on) and close it so I can make a new connection?</p>