html5 websockets - php server