5 if [ $? -eq "0" ]; then
9 for attempt in {1..5}; do
10 echo "Checking if '$proc_name' is still alive, attempt nr ${attempt}"
12 if [ $? -eq "1" ]; then
13 echo "'$proc_name' is dead"
17 echo "'$proc_name' is still alive, waiting 1 second"
20 if [ "$success" = false ]; then
21 echo "The command sudo pkill '$proc_name' failed"
22 sudo pkill -9 $proc_name
27 echo "'$proc_name' is not running"