next up previous
Next: C Procédures de création Up: Diffusion de Transparents sur Previous: A Guide d'installation

B Source du scripte Unix ``killer''

 
#!/usr/local/bin/bash

n=`ps -aecdf | grep $1 | grep AMP | cut -c10-15`
if [$n]; then 
kill -9 $n
echo 'AMP died'
else
echo "Not find AMP"
fi
exit


Denis Arnaud
12/19/1997