A simple push server by Node.js and Redis