Comment #314

Thank you for the very useful work. I just saw "NEED TO UNDERSTAND When to use stdout.flushFile?" title and wanted to put my two cents in: In my experience, regardless of the language, the input is buffered until the first EOL or a specific length is hit. So if you write something with a trailing EOL, you won't need to flush, but if you have only a few characters, it is needed. I personally use it when I want to make sure that the output is sent, not buffered.