diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-03-02 10:35:21 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-03-02 12:13:49 +0100 |
| commit | 48bf1322aa141ca6259b26b37551402758cff0cc (patch) | |
| tree | b900a58ac1356bf3724cfa226070ff97df3d52d5 /lib/timer.c | |
| parent | 2e8b8bfcc46ec1493f9e0efe9c796b88df85ada4 (diff) | |
Introducing an universal temporary linpool flushed after every task
Diffstat (limited to 'lib/timer.c')
| -rw-r--r-- | lib/timer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/timer.c b/lib/timer.c index 381163d0..c47e0bbc 100644 --- a/lib/timer.c +++ b/lib/timer.c @@ -233,6 +233,7 @@ timers_fire(struct timeloop *loop) io_log_event(t->hook, t->data); t->hook(t); + tmp_flush(); } } |