summary refs log tree commit diff
diff options
context:
space:
mode:
authorLudovic Court`es2007-09-03 17:23:55 +0000
committerLudovic Court`es2007-09-03 17:23:55 +0000
commit8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e (patch)
treefddaf86298ecb364149d03eb53312b74f0e7b11c
parentb829858803daf0ee6da6cb3498ef703cd8776fc9 (diff)
parent11789ba0f936f6d4095cd1b761817557cf69ba3f (diff)
downloadskribilo-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
-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)