make the mcomaster redis db number configurable