a demo also a light push server based on redis