Simple push server based on socket.io