add default redis server
Merge pull request #964 from aarti/master

provide a default redis server if not specified