Push notifications server based on Node.js and socket.io