A simple Pub/Sub server based on tornado + redis