make sure there is a redis server