From 796adb19db4b8f097298839adbe976cc76bf61ba Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Wed, 18 Mar 2009 00:10:00 +0000
Subject: [PATCH] new script for run.sh

---
 Robust/src/Benchmarks/Prefetch/killallclients.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 Robust/src/Benchmarks/Prefetch/killallclients.sh

diff --git a/Robust/src/Benchmarks/Prefetch/killallclients.sh b/Robust/src/Benchmarks/Prefetch/killallclients.sh
new file mode 100755
index 00000000..65235a8d
--- /dev/null
+++ b/Robust/src/Benchmarks/Prefetch/killallclients.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+source ~/.tmpvars 
+binpid=`ps aux | grep $bin | grep -v grep | grep -v time | awk '{print $2}'`
+kill -USR1 $binpid
-- 
2.34.1