Fixd bug in monitor syscall

kth-step · Oct 24, 2024 · 2dc49a6 · 2dc49a6
1 parent 28d46bc
commit 2dc49a6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kernel/src/cap_monitor.c b/kernel/src/cap_monitor.c
@@ -58,11 +58,9 @@ err_t cap_monitor_yield(cte_t mon, pid_t pid, proc_t **next)
 {
 	err_t err = check_monitor(mon, pid, false);
 	if (!err) {
-		proc_t *monitor = *next;
 		proc_t *proc = proc_get(pid);
 		if (proc_acquire(proc)) {
 			*next = proc;
-			proc_release(monitor);
 			return SUCCESS;
 		}
 		return ERR_INVALID_STATE;