diff options
| -rw-r--r-- | ChangeLog | 17 | ||||
| -rw-r--r-- | src/guile/skribilo.scm | 6 |
2 files changed, 21 insertions, 2 deletions
@@ -2,6 +2,23 @@ # arch-tag: automatic-ChangeLog--skribilo@sv.gnu.org--2006/skribilo--devo--1.2 # +2007-09-03 17:23:55 GMT Ludovic Court`es <ludovic.courtes@laas.fr> patch-163 + + Summary: + skribilo: Flush the output port before exiting. + Revision: + skribilo--devo--1.2--patch-163 + + * src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)' + before exiting. + + modified files: + ChangeLog src/guile/skribilo.scm + + new patches: + lcourtes@laas.fr--2006-libre/skribilo--devo--1.2--patch-105 + + 2007-08-31 17:05:55 GMT Ludovic Court`es <ludovic.courtes@laas.fr> patch-162 Summary: 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) |