chiark / gitweb /
manager: flush memory stream before using the buffer