Gameshow buzzer system using Websocket and PHP