14 if [ "$SETTINGS" != "" ] ; then
15 SETTINGS_OPT="--settings=\"$SETTINGS\" "
21 while test $r -lt $ROUNDS; do
24 while test $i -lt $NUMBER; do
25 ./pp2client.sh --outfile=$r.$i --prefix=http://$HOST:${PORT}/search.pz2 --service=$SERVICE $SETTINGS_OPT >$r.$i.log 2>&1 &
33 if [ "$SHUTDOWN" == "1" ] ; then
34 wget -O x "http://localhost:${PORT}/search.pz2?command=exit"