Anonymous

#!/bin/bash
OLD_SERVERNAME=""
while true ; do
	SERVENAME=`cat output`
	if [ "$SERVERNAME" != "OLD_SERVERNAME" ] ; then
		if [ -r kill 5156.pid ] ; then
			kill `cat 5156.pid`
		fi
		/home/Mr_Molez/ROTATION/bzfs -conf $SERVENAME -loadplugin /home/Mr_Molez/ROTATION/plugins/mapchangepublic.so,output,conffile &
		echo $! >5156.pid
		OLD_SERVERNAME=$SERVERNAME
	else
		sleep 20
	fi
done