diff -r 5183f2628cd2 -r ab5293025139 scripts/jvm-jstat-get
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/jvm-jstat-get	Mon May 09 09:19:31 2011 +0200
@@ -0,0 +1,24 @@
+#!/bin/sh
+
+# Companion to jvm-stat-make to obtain actual value from dumped statistics.
+# Invocation:
+# jvm-jstat-get <name> <stat> <field>
+#	where	name is symbolic name (service name etc.),
+#		stat is statistic name (stats file) and
+#		field number (from 1) to be returned
+
+if [ -z "$1" -o -z "$2" -o -z "$3" ]; then
+	echo -e "Missing service name, stat or field"
+	exit 1
+fi
+
+UID=`id -u`
+N=$1
+STAT=$2
+FIELD=$3
+
+D=/tmp/jvm-jstat-$UID-$N
+
+[ -d $D ] || exit 1;
+
+tail -1 $D/$STAT | awk '{print $'$FIELD'}'