summaryrefslogtreecommitdiff
path: root/src/guile/skribilo.scm
diff options
context:
space:
mode:
authorLudovic Court`es2007-09-03 17:23:04 +0000
committerLudovic Court`es2007-09-03 17:23:04 +0000
commit11789ba0f936f6d4095cd1b761817557cf69ba3f (patch)
treee8817b8994576d0cd78ced2214e4052d63d88904 /src/guile/skribilo.scm
parent6b72aa99c8628d54d405d6acac9195302eac560d (diff)
downloadskribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.tar.gz
skribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.tar.lz
skribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.zip
skribilo: Flush the output port before exiting.
* src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)' before exiting. git-archimport-id: lcourtes@laas.fr--2006-libre/skribilo--devo--1.2--patch-105
Diffstat (limited to 'src/guile/skribilo.scm')
-rw-r--r--src/guile/skribilo.scm6
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)