server shutdown script

diff --git a/perf/bash/exit.sh b/perf/bash/exit.sh
new file mode 100755 (executable)
index 0000000..d1cc0e3
--- /dev/null
+++ b/perf/bash/exit.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+PORT=$1
+if test -z "$PORT"; then
+       PORT=9004
+fi
+
+
+H="http://localhost:${PORT}/search.pz2"
+wget -q -O $OF.show.xml "$H?command=exit"