Commit Graph

2 Commits (4d1a94eb187f2ee6c9355fef6f16d98542c84d2c)

Author SHA1 Message Date
willthames 91b827768d 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.
12 years ago
Michael DeHaan cd97a4cb14 Allow modules to be categorized, and also sort them when generating the documentation. 13 years ago