janestreet/async_extra — pull request #1 by ogunden (2013-09-05 20:30:19+00:00)
Title: fix race condition in async log

There is a race condition in log.ml. If Rotation.should_rotate is called just before the rollover time, and then some of the blocking operations immediately following take enough time to push us over the rollover time, the log isn't rolled over.

This patch should fix it.