On 6/24/2011 9:41 AM, Jimmy Cao wrote:
No, it writes to stdout which (in this case) is line-buffered. Whenever there's a newline character, it is supposed to flush.
Please file a bug report! http://bugzilla.digitalmars.com/issues/buglist.cgi?quicksearch=.
