MonetDB: Jan2022 - Merge with Jul2021 branch.

[Sjoerd Mullender]

Changeset: 5e85e42ff5f0 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/5e85e42ff5f0
Modified Files:
        gdk/gdk_bbp.c
Branch: Jan2022
Log Message:

Merge with Jul2021 branch.


diffs (12 lines):

diff --git a/gdk/gdk_bbp.c b/gdk/gdk_bbp.c
--- a/gdk/gdk_bbp.c
+++ b/gdk/gdk_bbp.c
@@ -3870,6 +3870,8 @@ BBPcheckBBPdir(bool subcommit)
                case 0:
                        /* end of file */
                        fclose(fp);
+                       /* don't leak errors, this is just debug code */
+                       GDKclrerr();
                        return;
                case 1:
                        /* successfully read an entry */
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org