Searched refs:MOUSED_PIDFILE (Results 1 – 3 of 3) sorted by relevance
48 MOUSED_PIDFILE=/var/run/moused.pid87 if [ -r "$MOUSED_PIDFILE" ]; then88 f_eval_catch -dk pid "$0" cat 'cat "%s"' "$MOUSED_PIDFILE" &&114 if [ -r "$MOUSED_PIDFILE" ]; then115 f_eval_catch -dk pid "$0" cat 'cat "%s"' "$MOUSED_PIDFILE" &&
48 MOUSED_PIDFILE=/var/run/moused.pid75 if [ -r "$MOUSED_PIDFILE" ]; then76 f_eval_catch -dk pid "$0" cat 'cat "%s"' "$MOUSED_PIDFILE" &&
48 MOUSED_PIDFILE=/var/run/moused.pid