[Dev] Hide ps output in runner stop

2023-05-09 15:25:55 +02:00 · 2023-05-09 15:25:55 +02:00 · e0c2fa89de
parent 734bbb8ecf
commit e0c2fa89de
1 changed files with 1 additions and 1 deletions
--- a/src/runner.sh
+++ b/src/runner.sh
@ -545,7 +545,7 @@ main() (

 		# Kill runner process.
 		log_info "Kill runner process with pid '${pid}'."
-		if ! ps -p "${pid}"; then
+		if ! ps -p "${pid}" >/dev/null; then
 			fail "Runner process with pid='${pid}' is not running." \
 				"${err_runner_process_not_running}"
 		fi