Changeset: 755faedc7d71 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/755faedc7d71
Branch: resource_management
Log Message:
Merge with default branch.
diffs (18 lines):
diff --git a/gdk/gdk_bbp.c b/gdk/gdk_bbp.c
--- a/gdk/gdk_bbp.c
+++ b/gdk/gdk_bbp.c
@@ -3078,10 +3078,12 @@ decref(bat i, bool logical, bool lock, c
BATdelete(BBP_desc(i));
BBPclear(i);
} else {
- MT_lock_set(&GDKswapLock(i));
+ if (lock)
+ MT_lock_set(&GDKswapLock(i));
BBP_status_off(i, BBPUNLOADING);
MT_cond_broadcast(&GDKswapCond(i));
- MT_lock_unset(&GDKswapLock(i));
+ if (lock)
+ MT_lock_unset(&GDKswapLock(i));
}
}
return refs;
_______________________________________________
checkin-list mailing list -- [email protected]
To unsubscribe send an email to [email protected]
