redisサーバーを停止します。シャットダウンも停止も機能しません

やっと降りました。

プロセスのPIDを取得します（これはWebfactionで機能しました）：

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

次に

> kill -9 the_pid

この問題を再現することができました：

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

これでハングし、正常にシャットダウンしません。また、キーを設定/取得しようとするPythonプログラムがハングします。これを回避するには：redis-serverを起動した後にウィンドウを閉じるだけです。現在は正常に動作しています。