Robust/src/Benchmarks/Prefetch/killallclients.sh

   1 #!/bin/sh
   2 source ~/.tmpvars
   3 name=`cat ~/.tmpvars | cut -f2 -d"="`
   4 args=`cat ~/.tmpparams`
   5 echo $name $args >> /tmp/client_stats.txt
   6 binpid=`ps aux | grep $bin | grep -v grep | grep -v time | awk '{print $2}'`
   7 kill -USR1 $binpid