OpenGrok

27 PID=$!
29     echo PID $PID
32 PID2="$PID"
33 KILLPIDS="$PID"
72 PID=$!
74     echo PID $PID
77 PID3="$PID"
78 KILLPIDS="$KILLPIDS $PID"
107 PID=$!
109     echo PID $PID
112 KILLPIDS="$KILLPIDS $PID"

Indexes created Thu Apr 30 00:23:01 UTC 2026