Stop redis server. Neither shutdown nor stop works

I finally got it down.

Get the PID of the process (this worked in Webfaction):

ps -u my_account -o pid,rss,command | grep redis

Then

> kill -9 the_pid

I was able to REPRODUCE this issue:

Start redis-server
Then break it using Pause/Break key

Now it hangs and it won’t shutdown normally. Also the Python program trying to set/get a key hangs. To avoid this: Just close the window after starting redis-server. It’s now running normally.