⬇ function appendUpdate (update, channel)   redis.rpush(’updates’, [update])   redis.publish(channel, update) end