kernel: when using julia_gc, call jl_atexit_hook in SyExit

gap-system · Oct 19, 2018 · 9ab46d8 · 9ab46d8
1 parent 32fc058
commit 9ab46d8
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/system.c b/src/system.c
@@ -33,6 +33,10 @@
 #include "hpc/misc.h"
 #endif
 
+#ifdef USE_JULIA_GC
+#include "julia.h"
+#endif
+
 #include <assert.h>
 #include <fcntl.h>
 #include <stdarg.h>
@@ -547,7 +551,10 @@ void SyUSleep ( UInt msecs )
 void SyExit (
     UInt                ret )
 {
-        exit( (int)ret );
+#ifdef USE_JULIA_GC
+    jl_atexit_hook(ret);
+#endif
+    exit( (int)ret );
 }