View Revisions: Note 126403

Summary 0037950: Buffer is not flushed on textfile other than stdout.