OpenGrok

46 PID=$!
48     echo PID $PID
51 KILLPIDS="$PID"
85 PID=$!
87     echo PID $PID
90 KILLPIDS="$KILLPIDS $PID"
124 PID=$!
126     echo PID $PID
129 KILLPIDS="$KILLPIDS $PID"

Indexes created Sun Mar 01 05:31:48 UTC 2026