redis and REST running