documentation extended
kill websockets when serverconnection closes