added a redis-server shortcut