configurable redis pool (fix #629)