# This file gets included by ttcn3-{tcpdump,dumpcap}-{start,stop} scripts

kill_rm_pidfile() {
	if [ -e $1 ]; then
	        PSNAME="$(ps -q "$(cat "$1")" -o comm=)"
		if [ "$PSNAME" != "sudo" ]; then
			kill "$(cat "$1")"
		else
		# NOTE: This requires you to be root or something like
		# "laforge ALL=NOPASSWD: /usr/sbin/tcpdump, /bin/kill" in your sudoers file
			sudo kill "$(cat "$1")"
		fi
		rm $1
	fi
}

print_date_load() {
	echo "($(date +%H:%M:%S)) $(uptime | grep -o "load.*")"
}
