Commit Graph

2 Commits (76d5b9640623064bf3b006cfb05f9f84c58b2df0)

Author SHA1 Message Date
willthames 723af8c370 Ensure async terminates when time limit is not divisible by 5
Because async_wrapper subtracts 5 from time_limit and checks for
equality to zero, values not divisible by 5 will go negative and
continue forever.
11 years ago
Michael DeHaan 391fb98ee2 Allow modules to be categorized, and also sort them when generating the documentation. 12 years ago