diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-21 14:42:19 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-27 10:06:07 -0400 |
| commit | 318e0005b5a3a522854ced7162f3eee95f964bd9 (patch) | |
| tree | d9c2da0af34ece5b288d42c601182598ecb6780d /rts/Interpreter.c | |
| parent | 23aad124ff76ad4bb2ba697d4d1e306e7cc595ac (diff) | |
| download | haskell-318e0005b5a3a522854ced7162f3eee95f964bd9.tar.gz | |
rts/eventlog: Don't attempt to flush if there is no writer
If the user has not configured a writer then there is nothing to flush.
Diffstat (limited to 'rts/Interpreter.c')
0 files changed, 0 insertions, 0 deletions