A Minecraft Server Push Message Queue Based On Redis - View it on GitHub