diff --git a/src/kernel/ps/ProcessManager.hx b/src/kernel/ps/ProcessManager.hx index a5ca3e6..a4dac82 100644 --- a/src/kernel/ps/ProcessManager.hx +++ b/src/kernel/ps/ProcessManager.hx @@ -28,7 +28,8 @@ class ProcessManager { public static function kill(pid: PID) { if (!processList.exists(pid)){ - throw new Error("Process with PID " + pid + " does not exist"); + Log.warn("Trying to kill non-existing process: " + pid); + return; } var handle = processList.get(pid);