Changeset 00b046f

Timestamp:

Jul 3, 2023, 1:12:31 PM (14 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

70f97c8

Parents:

a2f1ea8d

Message:

very slim race condition between a channel closing and a waituntil unregister was being handled improperly and is now fixed

File:

• libcfa/src/concurrency/channel.hfa (modified) (1 diff)

libcfa/src/concurrency/channel.hfa

@@ -340 +340 @@
     unlock( mutex_lock );
 
-    // only return true when not special OR case, not exceptional calse and status is SAT
-    return ( node.extra == 0p || !node.park_counter ) ? false : *node.clause_status == __SELECT_SAT;
+    // only return true when not special OR case and status is SAT
+    return !node.park_counter ? false : *node.clause_status == __SELECT_SAT;
 }