OpenGrok

47 PID=$!
49     echo PID $PID
52 PID2="$PID"
53 KILLPIDS="$PID"
91 PID=$!
93     echo PID $PID
96 PID2="$PID"
97 KILLPIDS="$KILLPIDS $PID"
127 PID=$!
129     echo PID $PID
132 KILLPIDS="$KILLPIDS $PID"

Indexes created Tue Mar 03 05:31:39 UTC 2026