make redis server configurable