#!/bin/sh

if [ -r /tmp/zion-${USER}.pid ]; then
	echo "*** /tmp/zion-${USER}.pid exists; killing zion"
	kill `cat /tmp/zion-${USER}.pid`
	rm /tmp/zion-${USER}.pid
else
	echo "*** /tmp/zion-${USER}.pid does not exist"
fi
