Easy way to start redis-server on different port.

If you just want to quickliy start a redis-server on another port and don't want to create a config file you can pass the port directly from stdin.

$ echo "port 4000" | redis-server -