light push server based on redis