You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/bash |
|
|
|
if [[ $1 == "" ]] |
|
then |
|
echo "Usage: stop <alice|bob>." |
|
exit |
|
fi |
|
|
|
echo "killing $1" |
|
|
|
for f in "test/*.$1"; |
|
do |
|
pid=$(cat $f) |
|
kill -9 $pid |
|
rm -rf $f |
|
done |
