use integer for redis database number [fixes #5]