Tests for timers, and fix for problems in manager at shutdown