Sybren A. Stüvel adf7113b34 Worker: log chunker, also flush log after certain time ... This flushes the log when the previous `Append()` call was too long ago. Note that this doesn't flush after X seconds of silence; a call to `Append()` or `Flush()` still has to happen in order to do the flushing.		2022-02-22 15:34:37 +01:00
..
appinfo	Add copyright notices	2022-01-10 17:45:13 +01:00
manager	Manager: default paths for executables are now relative	2022-02-22 13:55:03 +01:00
worker	Worker: log chunker, also flush log after certain time	2022-02-22 15:34:37 +01:00