MonetDB: default - Merge with Jun2023 branch.

[Lucas Pereira via checkin-list]

Changeset: dfd6444b2843 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/dfd6444b2843
Branch: default
Log Message:

Merge with Jun2023 branch.


diffs (12 lines):

diff --git a/gdk/gdk_logger.c b/gdk/gdk_logger.c
--- a/gdk/gdk_logger.c
+++ b/gdk/gdk_logger.c
@@ -2293,7 +2293,7 @@ do_flush_range_cleanup(logger *lg)
                        TRC_INFO(WAL, "closing output log %s", 
mnstr_name(frange->output_log));
                        close_stream(frange->output_log);
                        frange->output_log = NULL;
-                       ATOMIC_INC(&lg->nr_open_files);
+                       ATOMIC_DEC(&lg->nr_open_files);
                }
        }
        return flast;
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org