remram44/gitobox — pull request #8 by remram44 (2014-10-10 20:47:34+00:00)
Title: Reentrant timer

Variant of #4, uses an 'executing' flag.

See #3