comparison tools/ruleset_tester.py @ 606:a5c890f0e757

This is a temporary fix for the timer issue which causes random segfaults. Timers are no longer deleted prematurely. [t:483]
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Thu, 16 Sep 2010 16:46:17 +0000
parents 81641655bc38
children
comparison
equal deleted inserted replaced
605:d242e6ce6f9f 606:a5c890f0e757