diff --git a/src/devenv/cli.py b/src/devenv/cli.py index 90816991c..f2e2f7a4a 100644 --- 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: