(examples) fix: non-termination on send

rems-project · Feb 7, 2025 · dc4f0b5 · dc4f0b5
1 parent fffada5
commit dc4f0b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/common.c b/examples/common.c
@@ -248,6 +248,7 @@ void send(tid_t to, int v) {
 		channel[to].content = v;
 		channel[to].full = 1;
 		mtx_unlock(&m);
+		return;
 	}
 }