avocado-framework/avocado — pull request #158 by lmr (2014-08-21 18:53:28+00:00)
Title: Ctrl c improvements last

Now we got to the behavior we wanted with Ctrl+C