Searched refs:LOCK_FILE (Results 1 – 1 of 1) sorted by relevance
289 LOCK_FILE="$SESSION_DIR/lock"766 test ! -f "$LOCK_FILE" || {936 vecho "LOCK_FILE $LOCK_FILE"973 if test ! -f "$LOCK_FILE"; then978 kill -0 `cat $LOCK_FILE` 2>/dev/null981 rm -f "$LOCK_FILE"990 kill -USR2 `cat $LOCK_FILE` 2>/dev/null997 if test ! -f "$LOCK_FILE"; then1003 kill -0 `cat $LOCK_FILE` 2>/dev/null1006 rm -f "$LOCK_FILE"[all …]