Searched refs:dsm_pid (Results 1 – 1 of 1) sorted by relevance
822 if [ "X$dsm_pid" != "X" ]; then824 echo kill -TERM "$dsm_pid"825 kill -TERM "$dsm_pid" 2>/dev/null827 kill -KILL "$dsm_pid" 2>/dev/null3361 dsm_pid=$!3401 dsm_pid=$!3404 dsm_pid=$!