search for: file_pid

Displaying 1 result from an estimated 1 matches for "file_pid".

Did you mean: file_id
2001 Jan 11
0
OpenSSH 2.3.0p1 on Compaq Alpha
...[ -x $SSHD_DAEMON ]; then echo "Starting ${SSHD_TITLE}" $SSHD_DAEMON $SSHD_OPTS > /dev/null 2>&1 fi else echo "${SSHD_TITLE} already running (PID=$Pid)." fi ;; 'stop') if [ -r $SSHD_PID_FILE ]; then FILE_PID=`cat ${SSHD_PID_FILE}` fi if [ ! -z "$FILE_PID" ]; then echo "Stopping ${SSHD_TITLE}" kill -TERM $FILE_PID else if [ ! -z "$Pid" ]; then echo "Stopping ${SSHD_TITLE}" kill -TERM $Pid fi fi...