MonetDB: Jun2020 - Merge heads Jun2020.

[Aris Koning]

Changeset: 579211e5a8db for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=579211e5a8db
Branch: Jun2020
Log Message:

Merge heads Jun2020.


diffs (15 lines):

diff --git a/gdk/gdk_align.c b/gdk/gdk_align.c
--- a/gdk/gdk_align.c
+++ b/gdk/gdk_align.c
@@ -370,8 +370,10 @@ VIEWreset(BAT *b)
                b->batCapacity = cnt;
 
                /* insert all of v in b, and quit */
-               if (BATappend2(b, v, NULL, false, false) != GDK_SUCCEED)
+               if (BATappend2(b, v, NULL, false, false) != GDK_SUCCEED) {
+                       GDKerror("appending view failed");
                        goto bailout;
+               }
                BBPreclaim(v);
        }
        return GDK_SUCCEED;
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list