#!/bin/sh

rm -f $STATE_DIR/hercules-$MACHINE-$SCHEME.*

PIDFILE=$STATE_DIR/hercules-$MACHINE-$SCHEME.pid
# Stop hercules.
if [ ! -e $PIDFILE ]; then
	echo "No pid file $PIDFILE" >&2
	exit 0
else
	pid=$(cat $PIDFILE)
	if ! pidof hercules | grep -q $pid; then
		echo "stale pid" >&2
	else
		kill -9 $pid
	fi
	echo "Stopped hercules (pid $pid)"
fi

if [ "$KEEP_DISK" ] && [ -n "$LOGDIR" ]; then
	mv -f "$STATE_DIR/hercules-$MACHINE-$SCHEME.img" "$LOGDIR/$DATESTAMP/$MACHINE-$SCHEME.disk.img"
fi