Don't try to kill a process that already exited

numtide · Dec 14, 2024 · 81e38d4 · 81e38d4
1 parent ccdf118
commit 81e38d4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/modules/services.nix b/modules/services.nix
@@ -73,7 +73,9 @@ let
             pid=$!
             echo $pid > "$PRJ_DATA_DIR/pids/${gName}.pid"
             on_stop() {
-                kill -TERM $pid
+                if ps -p $pid > /dev/null; then
+                  kill -TERM $pid
+                fi
                 rm "$PRJ_DATA_DIR/pids/${gName}.pid"
                 wait $pid
             }