Fixes double release bug

kth-step · Oct 24, 2024 · 47162cd · 47162cd
1 parent 3143e8e
commit 47162cd
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kernel/src/cap_monitor.c b/kernel/src/cap_monitor.c
@@ -62,8 +62,6 @@ err_t cap_monitor_yield(cte_t mon, pid_t pid, proc_t **next)
 		proc_t *proc = proc_get(pid);
 		if (proc_acquire(proc)) {
 			*next = proc;
-			proc_release(monitor);
-			return SUCCESS;
 		}
 		return ERR_INVALID_STATE;
 	}