Added rolling restart script to kill servers sequentially

rolling_restart.sh

@@ -0,0 +1,49 @@
+#!/bin/bash
+cd `dirname $0`
+
+check_if_not_started(){
+	# Search for all pids in the logs and tail for the last one
+	latest_pid=`egrep 'Starting server in PID [0-9]+' $1 -o | sed 's/Starting server in PID //g' | tail -n 1`
+	# Grab the current pid from the file we were given
+	current_pid_in_file=$(cat $2);
+	# If they're equivalent, then the current pid file agrees with our logs
+	# and we've succesfully started
+	if [[ $latest_pid -eq $current_pid_in_file ]];
+	then
+		echo 0;
+	else
+		echo 1;
+	fi
+}
+
+servers=`sed -n 's/^\[server:\(.*\)\]/\1/  p' universe_wsgi.ini | xargs echo`
+for server in $servers;
+do
+	# If there's a pid
+	if [[ -e $server.pid ]]
+	then
+		# Then kill it
+		echo "Killing $server"
+		pid=`cat $server.pid`
+		kill $pid
+	else
+		# Otherwise just continue
+		echo "$server not running"
+	fi
+	# Start the server (and background) (should this be nohup'd?)
+	python ./scripts/paster.py serve universe_wsgi.ini --server-name=$server --pid-file=$server.pid --log-file=$server.log $@ &
+	# Wait for the server to start
+	sleep 1
+	# Grab the new pid
+	pid=`cat $server.pid`
+	result=1
+	# Wait for the latest pid in the file to be the pid we've grabbed
+	while [[ $result -eq 1 ]]
+	do
+		result=$(check_if_not_started $server.log $server.pid)
+		echo -n "."
+		sleep 1
+	done
+	echo ""
+done
+