devenv processes stop: print PID

cachix · Oct 31, 2023 · dbcacb9 · dbcacb9
1 parent 114770b
commit dbcacb9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/devenv/cli.py b/src/devenv/cli.py
@@ -400,6 +400,8 @@ def stop():
         with open(PROCESSES_PID, "r") as file:
             pid = int(file.read())
 
+        log(f"Stopping process with PID {pid} ...", level="info")
+
         try:
             os.kill(pid, signal.SIGTERM)
         except ProcessLookupError: