From: Dennis Schafroth <dennis@indexdata.com>
Date: Tue, 4 May 2010 20:14:38 +0000 (+0200)
Subject: server shutdown script
X-Git-Tag: v1.4.1~39
X-Git-Url: http://lists.indexdata.com/cgi-bin?a=commitdiff_plain;ds=sidebyside;h=163bb9421961f7305c9e6882ccefbf55ca1becc2;p=pazpar2-moved-to-github.git

server shutdown script
---

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"