Need to wrap fflush(), so we can update stdout without printing newlines, flush log output to the OS etc.
Should probably also implement wrappers for stdin, stdout, and stderr, so we can flush those specifically. (io.flush() with no argument would sort of work, though, but that flushes all open files!)
Need to wrap fflush(), so we can update stdout without printing newlines, flush log output to the OS etc.
Should probably also implement wrappers for stdin, stdout, and stderr, so we can flush those specifically. (io.flush() with no argument would sort of work, though, but that flushes all open files!)