From a8f0beb64bdc0f49fda4ec6db0d918dd287dbbb7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 2 Aug 2012 09:59:57 -0500
Subject: [PATCH] close streams on exit, so that we can flush the buffers

---
 C/init.c | 2 ++
 1 file changed, 2 insertions(+)
 mode change 100644 => 100755 C/init.c

diff --git a/C/init.c b/C/init.c
old mode 100644
new mode 100755
index c9e4473ba..05d81d5de
--- a/C/init.c
+++ b/C/init.c
@@ -1368,6 +1368,7 @@ void
 Yap_exit (int value)
 {
   CACHE_REGS
+  void closeFiles(int all);
 #if defined(YAPOR_COPY) || defined(YAPOR_COW) || defined(YAPOR_SBA)
   Yap_unmap_yapor_memory();
 #endif /* YAPOR_COPY || YAPOR_COW || YAPOR_SBA */
@@ -1383,6 +1384,7 @@ Yap_exit (int value)
     run_halt_hooks(value);
     Yap_ShutdownLoadForeign();
   }
+  closeFiles(TRUE);
   exit(value);
 }