perf/bash/exit.sh

   1 #!/bin/bash
   2 PORT=$1
   3 if test -z "$PORT"; then
   4         PORT=9004
   5 fi
   6
   7
   8 H="http://localhost:${PORT}/search.pz2"
   9 wget -q -O $OF.show.xml "$H?command=exit"