From dac3ba3e53cbe4223ac98f633044b966bc35a697 Mon Sep 17 00:00:00 2001 From: hael Date: Thu, 9 Jan 2025 08:29:17 +0100 Subject: [PATCH] check_pid application name --- scripts/scheduler/check_pid.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/scheduler/check_pid.sh b/scripts/scheduler/check_pid.sh index c486b2b..ecd1409 100644 --- a/scripts/scheduler/check_pid.sh +++ b/scripts/scheduler/check_pid.sh @@ -2,7 +2,7 @@ PID="$1" SHARED="$2" -TASK="$3" +APPLICATION="$3" DATE="$4"; DEBUG="$5"; @@ -19,15 +19,15 @@ if [ "$PID" != "" ]; then #wait $PID while pwdx $PID | grep -vE 'No such process' > /dev/null; do - debug "RUNNING PROCESS: $TASK - PID: $PID" + debug "RUNNING PROCESS: $APPLICATION - PID: $PID" sleep 2 done JSON_TARGET=$(echo '{ "DATE": "'$DATE'", "STATUS": "2" }' | jq -r . | base64 -w0) debug "JSON_TARGET: $JSON_TARGET" - echo $JSON_TARGET | base64 -d >$SHARED/output/$TASK.json - #redis-cli -h $REDIS_SERVER -p $REDIS_PORT SET $TASK "$JSON_TARGET" + echo $JSON_TARGET | base64 -d >$SHARED/output/$APPLICATION.json + #redis-cli -h $REDIS_SERVER -p $REDIS_PORT SET $APPLICATION "$JSON_TARGET" fi;