OpenGrok

27 PID=$!
29     echo PID $PID
32 KILLPIDS="$PID"
37 PID=$!
39     echo PID $PID
42 KILLPIDS="$KILLPIDS $PID"
47 PID=$!
49     echo PID $PID
52 KILLPIDS="$KILLPIDS $PID"
63 PID=$!
65     echo PID $PID
68 KILLPIDS="$KILLPIDS $PID"

Indexes created Wed Mar 04 05:31:52 UTC 2026