Can't get sockets to work

[Per Bothner]

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/