#!/bin/bash
ids=$(cat /tmp/pid.$1)
#echo $ids
for id in $ids; 
  do kill -9 $id >& /dev/null; 
done;
