Modify server.js so that the channel names are read from Redis