MonetDB: Jan2022 - during exiting a new fatal isn't all that use...

[Niels Nes]

Changeset: 4579126bf8c1 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/4579126bf8c1
Modified Files:
        sql/storage/store.c
Branch: Jan2022
Log Message:

during exiting a new fatal isn't all that useful to report


diffs (13 lines):

diff --git a/sql/storage/store.c b/sql/storage/store.c
--- a/sql/storage/store.c
+++ b/sql/storage/store.c
@@ -2357,7 +2357,8 @@ store_manager(sqlstore *store)
 
                if (res != LOG_OK) {
                        MT_lock_unset(&store->flush);
-                       GDKfatal("write-ahead logging failure");
+                       if (!GDKexiting())
+                               GDKfatal("write-ahead logging failure");
                }
 
                if (GDKexiting())
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org