/usr/local/bin/bash -c "
if ps xuww donatm|grep server|grep mymud > /dev/null
then
nohup /usr1/users/donatm/mymud/server > output 2>&1&
fi
"