HP Serviceguard Developer's Toolbox Version B.12.00.00 For HP-UX and Linux

then
kill -s SIGTERM $pid
return_value=$?
if [[ $return_value != 0 ]];
then
echo "ERROR: stop_app failed "
return 1
fi
else
echo "$(date '+%b %e %T') - ERROR: stop_app failed: The $PID_FILE was corrupted."
return 1
fi
34 MySQL Toolkit scripts