OpenDUNE/OpenDUNE — pull request #150 by rofl0r (2012-12-14 09:35:06+00:00)
Title: Timer nosignals

fix deadlocks on linux due to invalid use of signals / non race-condition safe bool lock variable