summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog17
-rw-r--r--src/guile/skribilo.scm6
2 files changed, 21 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 863c639..8725b73 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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)