From 048a325166adf275dde982a38ec0518faaf2b40d Mon Sep 17 00:00:00 2001 From: samuel Date: Tue, 9 May 2023 14:19:03 +0200 Subject: [PATCH] [Dev] Do not display ps output in deployer --- src/deployer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/deployer.sh b/src/deployer.sh index 21704d8..1e8f396 100755 --- a/src/deployer.sh +++ b/src/deployer.sh @@ -436,7 +436,7 @@ main() ( fi pid="$(cat "${deployer_pid}")" rm --force "${deployer_pid}" - if ! ps -p "${pid}"; then + if ! ps -p "${pid}" >/dev/null; then fail "Deployer process with pid='${pid}' is not running." \ "${err_deployer_process_not_running}" fi