View Revisions: Note 128064

Summary 0037833: Output to text streams other than real disk files goes unbuffered