From e0c2fa89dec34ba89a94acc518992f9c267a8ca5 Mon Sep 17 00:00:00 2001 From: samuel Date: Tue, 9 May 2023 15:25:55 +0200 Subject: [PATCH] [Dev] Hide ps output in runner stop --- src/runner.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runner.sh b/src/runner.sh index 4b39d6b..d52b8d7 100755 --- 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