Simple PHP WebSocket server using Devristo's phpws