diff --git a/wf-shadow b/wf-shadow index e40b6fb..b256c5b 100755 --- a/wf-shadow +++ b/wf-shadow @@ -254,7 +254,7 @@ fi if [ "$END" == 1 ]; then if [ -e "$RUNTIME"/"$MONITOR"_host.pid ]; then - kill "$(<"$RUNTIME"/"$MONITOR"_host.pid)" && + kill "$(<"$RUNTIME"/"$MONITOR"_host.pid)" rm -f "$RUNTIME"/"$MONITOR"_host.pid rm -f "$RUNTIME"/"$MONITOR".env else