#!/bin/bash
# kill -9  de tous les daemons pvm locaux qui vous appartiennent

set ARCH=LINUX
hn=`whoami`
res_ps=`ps -u $hn | grep pvmd3 | grep -v grep | awk '{print $1}'`
echo
echo Kill -9 des daemons PVM actifs de $hn sur  $HOSTNAME : $res_ps
for i in $res_ps;
do kill -9 $i;
done