Use spaces instead of tabs.

rolling_restart.sh

@@ -2,18 +2,18 @@
 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;s/\.$//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
+    # 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;s/\.$//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
 }
 
 # If there is a .venv/ directory, assume it contains a virtualenv that we
@@ -37,30 +37,30 @@ fi
 servers=`sed -n 's/^\[server:\(.*\)\]/\1/  p' $GALAXY_CONFIG_FILE | 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 $GALAXY_CONFIG_FILE --server-name=$server --pid-file=$server.pid --log-file=$server.log --daemon $@
-	# 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)
-		printf "."
-		sleep 1
-	done
-	echo
+    # 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 $GALAXY_CONFIG_FILE --server-name=$server --pid-file=$server.pid --log-file=$server.log --daemon $@
+    # 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)
+        printf "."
+        sleep 1
+    done
+    echo
 done