avocado-framework/avocado — pull request #155 by lmr (2014-08-20 17:36:44+00:00)
Title: Ctrl+C more improvements

More changes to improve handling of interruptions.