PHP Websocket-servers Resources