K 10 svn:author V 3 gnn K 8 svn:date V 27 2012-07-25T17:49:01.097277Z K 7 svn:log V 210 Revert previous commit. The bug was actually caused by an issue in pre 1.8.5 versions of sudo which were sending too many SIGINTs to processes when the user hit Ctrl-C. Pointed out by: avg@, rpaulo@, sbruno@ END