A push server by Node.js and Redis