MonetDB: Jul2021 - close file on exit

[Niels Nes]

Changeset: 1a961fad0d67 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/1a961fad0d67
Modified Files:
        gdk/gdk_tracer.c
Branch: Jul2021
Log Message:

close file on exit


diffs (19 lines):

diff --git a/gdk/gdk_tracer.c b/gdk/gdk_tracer.c
--- a/gdk/gdk_tracer.c
+++ b/gdk/gdk_tracer.c
@@ -280,7 +280,14 @@ gdk_return
 GDKtracer_stop(void)
 {
        set_level_for_layer(MDB_ALL, DEFAULT_LOG_LEVEL);
-       return GDKtracer_flush_buffer();
+       if (active_tracer) {
+               if (active_tracer != stderr)
+                       fclose(active_tracer);
+               else
+                       fflush(active_tracer);
+               active_tracer = NULL;
+       }
+       return GDK_SUCCEED;
 }
 
 gdk_return
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list