Исправление vertexua, 30.06.14 14:30 (текущая версия) :
Иногда хорошо перезагрузить сам терминал без среды, когда какое-то питоноподелие зависло и не слушает ctrl-C
Исходная версия vertexua, 30.06.14 14:30:
Иногда хорошо перезагрузить сам терминал, когда какое-то питоноподелие зависло и не слушает ctrl-C