Zastavte server redis. Nefunguje vypnutí ani zastavení

Konečně se mi to podařilo.

Získejte PID procesu (fungovalo to ve Webfaction):

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

Potom

> kill -9 the_pid

Tento problém se mi podařilo REPRODUKOVAT:

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

Nyní visí a normálně se nevypne. Zasekává se také program Python, který se pokouší nastavit/získat klíč. Chcete-li se tomu vyhnout:Po spuštění redis-serveru zavřete okno. Nyní to běží normálně.