Re: line buffering or not ?

[Gary Houston <ghouston@easynet.co.uk>]

| Last snapshot behaviour regarding stdout buffering has changed: when
| you run interpreted, you have the normal line buffering, but when
| running as a script, you have full buffering, which may cause lost
| output when you quit, among other funny things. 

I think the two cases are consistent.  But unfortunately
line-buffering was broken (again): I've applied a fix.

Buffered ports are supposed to be flushed when the process ends, but
it's implemented using C's "atexit" which only handles "normal"
termination.  That doesn't include aborting or getting a fatal
signal.