Closed
Description
If you run the attached code, connect a client, and then terminate it the time stamp is not flushed to disk (as expected?). Adding an explicit call to flush() fixed it but seems like it should not be necessary.
https://gist.github.com/mtthw-meyer/34d85197e01d686dacca5cf1cd6b28b3
Metadata
Metadata
Assignees
Labels
No labels