diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-26 13:13:07 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-27 10:22:23 +0200 |
| commit | c3da5dc5e0d0c6614f48c2d1178d58ff1e47809c (patch) | |
| tree | 968d12d9315a1d0872a15a0ff912921a41b97105 /executor/common_bsd.h | |
| parent | 4dcfea28eb0ef438c338983c63c9405554b83510 (diff) | |
executor: simplify event_timedwait
We always have current_time_ms in event_timedwait
so use it instead of manual clock_gettime calls
which tend to be bulkier.
Diffstat (limited to 'executor/common_bsd.h')
0 files changed, 0 insertions, 0 deletions