Comment #7 on issue 871 by [email protected]: Timeout speed optimization http://code.google.com/p/robotframework/issues/detail?id=871
Ok.. Windows is not so easy. Kill signal catch seems to require win32api http://danielkaes.wordpress.com/2009/06/04/how-to-catch-kill-events-with-python/
