OpenGrok

44 PROVIDERPID=$!
46     echo PROVIDERPID $PROVIDERPID
49 KILLPIDS="$PROVIDERPID"
89 KILLPIDS="$PROVIDERPID $P1CONSUMERPID"
119 KILLPIDS="$PROVIDERPID $P1CONSUMERPID $R1CONSUMERPID"
216 kill -HUP "$PROVIDERPID"
217 wait $PROVIDERPID
222 PROVIDERPID=$!
224     echo PROVIDERPID $PROVIDERPID
227 KILLPIDS="$PROVIDERPID $P1CONSUMERPID $R1CONSUMERPID"
445 KILLPIDS="$PROVIDERPID $P1CONSUMERPID $R1CONSUMERPID"

Indexes created Wed Sep 30 00:29:25 UTC 2026