simple watchdog timer: if no progress after 10secs, abort computation
authorClaude Heiland-Allen <claudiusmaximus@goto10.org>
Tue, 30 Nov 2010 02:08:33 +0000 (02:08 +0000)
committerClaude Heiland-Allen <claudiusmaximus@goto10.org>
Tue, 30 Nov 2010 02:08:33 +0000 (02:08 +0000)
commit3e19da01aa4d8e514d1e1790e670fe5f59e68c14
tree2891e29e0c4df3d6e550f02732ad2011edd381e9
parent6486e81de31b348f9f419f7735883054bf1d4f1b
simple watchdog timer: if no progress after 10secs, abort computation
Calculate.hs