search

janestreet / async_extra

Jane Street Capital's asynchronous execution library (extra)
MIT License
15 stars 8 forks source link

fix race condition in async log #1

Closed ogunden closed 10 years ago

ogunden commented 11 years ago

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.

ghost commented 10 years ago

This was fixed.