Tom Tromey <tromey@cygnus.com> writes: > The buffer is only flushed at certain points: when it is full, > (sometimes) when a newline is printed, or when flush() is called. The buffer must be flushed when the file is closed. Do a x.flush() just before a x.close() should be harmless but redundant. If the stream is not getting flushed when it is closed, that is a bug that must be fixed. -- --Per Bothner bothner@pacbell.net http://home.pacbell.net/bothner/