1 new commit in galaxy-central:
https://bitbucket.org/galaxy/galaxy-central/commits/5f6110335f4e/ Changeset: 5f6110335f4e User: natefoo Date: 2014-05-15 17:33:20 Summary: Merged in erasche2/galaxy-central (pull request #393)
Added rolling restart script to kill servers sequentially Affected #: 1 file
diff -r 0d2c45f321ed234115a15d46c255818192ba41a2 -r 5f6110335f4e328e6fd1a83c65a9312fcf5caeb0 rolling_restart.sh --- /dev/null +++ b/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;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 +} + +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 --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) + echo -n "." + sleep 1 + done + echo "" +done +
Repository URL: https://bitbucket.org/galaxy/galaxy-central/
--
This is a commit notification from bitbucket.org. You are receiving this because you have the service enabled, addressing the recipient of this email.