]> Nishi Git Mirror - gwion.git/commitdiff
:bug: Fix shred exiting (la suite)
authorJérémie Astor <fennecdjay@gmail.com>
Thu, 2 Sep 2021 19:10:18 +0000 (21:10 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Thu, 2 Sep 2021 19:10:18 +0000 (21:10 +0200)
src/vm/shreduler.c

index bc8e5668b460f76dd1a41c84dd8658e2d6f4575e..17810b19ed27b869d9a13bf8819ec147dc0764bc 100644 (file)
@@ -59,7 +59,8 @@ ANN void shreduler_remove(const Shreduler s, const VM_Shred out,
     tk->prev = tk->next = NULL;
   else {
     shreduler_erase(s, tk);
-    _release(out->info->me, out);
+    ME(out->info->me) = NULL;
+    release(out->info->me, out);
   }
   MUTEX_UNLOCK(s->mutex);
 }