OpenGrok

50 PID=$!
52     echo PID $PID
55 KILLPIDS="$PID"
89 PID=$!
91     echo PID $PID
94 KILLPIDS="$KILLPIDS $PID"
128 PID=$!
130     echo PID $PID
133 KILLPIDS="$KILLPIDS $PID"

Indexes created Mon Apr 27 00:23:16 UTC 2026