diff options
| author | Ludovic Court`es | 2007-09-03 17:23:55 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2007-09-03 17:23:55 +0000 |
| commit | 8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e (patch) | |
| tree | fddaf86298ecb364149d03eb53312b74f0e7b11c /src | |
| parent | b829858803daf0ee6da6cb3498ef703cd8776fc9 (diff) | |
| parent | 11789ba0f936f6d4095cd1b761817557cf69ba3f (diff) | |
| download | skribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.tar.gz skribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.tar.lz skribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.zip | |
skribilo: Flush the output port before exiting.
* src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)'
before exiting.
git-archimport-id: skribilo@sv.gnu.org--2006/skribilo--devo--1.2--patch-163
Diffstat (limited to 'src')
| -rw-r--r-- | src/guile/skribilo.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/guile/skribilo.scm b/src/guile/skribilo.scm index 106fc71..8559de3 100644 --- a/src/guile/skribilo.scm +++ b/src/guile/skribilo.scm @@ -464,10 +464,12 @@ Processes a Skribilo/Skribe source file and produces its output. (setvbuf (*skribilo-output-port*) _IOFBF 16384) - ;; (start-stack 7 (if source-file (with-input-from-file source-file doskribe) - (doskribe)))))))) + (doskribe)) + + ;; Make sure the output port is flushed before we leave. + (force-output (*skribilo-output-port*)))))))) (define main skribilo) |