Author: manik.surtani(a)jboss.com
Date: 2008-01-24 09:58:13 -0500 (Thu, 24 Jan 2008)
New Revision: 5228
Modified:
benchmarks/benchmark-fwk/trunk/killNode.sh
benchmarks/benchmark-fwk/trunk/runNode.sh
Log:
PIDs now include hostname
Modified: benchmarks/benchmark-fwk/trunk/killNode.sh
===================================================================
--- benchmarks/benchmark-fwk/trunk/killNode.sh 2008-01-24 14:51:40 UTC (rev 5227)
+++ benchmarks/benchmark-fwk/trunk/killNode.sh 2008-01-24 14:58:13 UTC (rev 5228)
@@ -9,7 +9,7 @@
#
##################################################################################
-PIDFILE="PID.pid"
+PIDFILE=PID.`hostname -s`.pid
if [ -e ${PIDFILE} ]
then
Modified: benchmarks/benchmark-fwk/trunk/runNode.sh
===================================================================
--- benchmarks/benchmark-fwk/trunk/runNode.sh 2008-01-24 14:51:40 UTC (rev 5227)
+++ benchmarks/benchmark-fwk/trunk/runNode.sh 2008-01-24 14:58:13 UTC (rev 5228)
@@ -9,7 +9,7 @@
CACHE_PRODUCT=${2}
TEST_CFG=${3}
CLUSTER_SIZE=${4}
-PIDFILE="PID.pid"
+PIDFILE=PID.`hostname -s`.pid
if [ -e ${PIDFILE} ]
then
# first test if the process is still running. If not, clean up the PID file.