Searched refs:HEIM_PIDFILE_DIR (Results 1 – 1 of 1) sorted by relevance
3 HEIM_PIDFILE_DIR="${objdir}/"4 export HEIM_PIDFILE_DIR55 if [ -f "$HEIM_PIDFILE_DIR/lt-${1}.pid" ]; then56 cat "$HEIM_PIDFILE_DIR/lt-${1}.pid"58 cat "$HEIM_PIDFILE_DIR/${1}.pid"