close streams on exit, so that we can flush the buffers
This commit is contained in:
parent
adef8d4737
commit
a8f0beb64b
|
@ -1368,6 +1368,7 @@ void
|
||||||
Yap_exit (int value)
|
Yap_exit (int value)
|
||||||
{
|
{
|
||||||
CACHE_REGS
|
CACHE_REGS
|
||||||
|
void closeFiles(int all);
|
||||||
#if defined(YAPOR_COPY) || defined(YAPOR_COW) || defined(YAPOR_SBA)
|
#if defined(YAPOR_COPY) || defined(YAPOR_COW) || defined(YAPOR_SBA)
|
||||||
Yap_unmap_yapor_memory();
|
Yap_unmap_yapor_memory();
|
||||||
#endif /* YAPOR_COPY || YAPOR_COW || YAPOR_SBA */
|
#endif /* YAPOR_COPY || YAPOR_COW || YAPOR_SBA */
|
||||||
|
@ -1383,6 +1384,7 @@ Yap_exit (int value)
|
||||||
run_halt_hooks(value);
|
run_halt_hooks(value);
|
||||||
Yap_ShutdownLoadForeign();
|
Yap_ShutdownLoadForeign();
|
||||||
}
|
}
|
||||||
|
closeFiles(TRUE);
|
||||||
exit(value);
|
exit(value);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Reference in New Issue