Add flush to output stream #1407
Labels
area-core-library
SDK core library issues (core, async, ...); use area-vm or area-web for platform specific libraries.
library-io
type-enhancement
A request for a change that isn't a bug
Milestone
We should probably add a flush() method to the OutputStream interface.
It is convenient when using an OutputString for logging to a file.
The text was updated successfully, but these errors were encountered: