Tue, 19 Aug 2008 18:02:02 +0200 etisserant Added more correct signal handling to unix timers.