Little PHP chat using sockets and websockets