#!/bin/sh
NODEID=$1
SIGNAL=${2:-INT}
export NODEID SIGNAL
ps x -ww -o pid,command -U `whoami` | grep 'pol \|banddemod ' | grep ${NODEID}'$' | grep -v grep | while read pid junk; do
	kill -${SIGNAL} $pid > /dev/null 2>&1
done
killall -${SIGNAL} snmppol > /dev/null 2>&1
