diff options
| author | Ludovic Court`es | 2007-09-03 17:23:04 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2007-09-03 17:23:04 +0000 |
| commit | 11789ba0f936f6d4095cd1b761817557cf69ba3f (patch) | |
| tree | e8817b8994576d0cd78ced2214e4052d63d88904 | |
| parent | 6b72aa99c8628d54d405d6acac9195302eac560d (diff) | |
| download | skribilo-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
| -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) |