From 163bb9421961f7305c9e6882ccefbf55ca1becc2 Mon Sep 17 00:00:00 2001
From: Dennis Schafroth <dennis@indexdata.com>
Date: Tue, 4 May 2010 22:14:38 +0200
Subject: [PATCH] server shutdown script

---
 perf/bash/exit.sh |    9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 perf/bash/exit.sh

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"
-- 
1.7.10.4