Redis-server stoppen. Noch afsluiten, noch stoppen werkt

Ik heb het eindelijk onder de knie.

Verkrijg de PID van het proces (dit werkte in Webfaction):

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

Dan

> kill -9 the_pid

Ik heb dit probleem kunnen REPRODUCEREN:

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

Nu hangt het en het zal niet normaal afsluiten. Ook het Python-programma dat een sleutel probeert in te stellen/te krijgen loopt vast. Om dit te voorkomen:Sluit het venster na het starten van redis-server. Hij draait nu normaal.