This is the mail archive of the
guile@sourceware.cygnus.com
mailing list for the Guile project.
Re: line buffering or not ?
- To: Bernard.Urban@meteo.fr
- Subject: Re: line buffering or not ?
- From: Gary Houston <ghouston@easynet.co.uk>
- Date: 19 Aug 1999 21:30:15 -0000
- CC: guile@sourceware.cygnus.com
- References: <9908181323.AA06798@min.meteo.fr>
| 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.