X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=perf%2Fbash%2Fexit.sh;fp=perf%2Fbash%2Fexit.sh;h=d1cc0e307b0cb8a8cec4e949601d4cfda41475fc;hb=163bb9421961f7305c9e6882ccefbf55ca1becc2;hp=0000000000000000000000000000000000000000;hpb=40a57ce79486985d04433090710eb2d734401bef;p=pazpar2-moved-to-github.git

diff --git a/perf/bash/exit.sh b/perf/bash/exit.sh
new file mode 100755
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"