app_server/html5: Initial WebSocket code, based example