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