mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-29 17:42:12 +08:00
67 lines
1.7 KiB
Bash
Executable File
67 lines
1.7 KiB
Bash
Executable File
#!/bin/sh
|
|
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
|
|
}
|
|
|
|
# If there is a .venv/ directory, assume it contains a virtualenv that we
|
|
# should run this instance in.
|
|
if [ -d .venv ];
|
|
then
|
|
. .venv/bin/activate
|
|
fi
|
|
|
|
if [ -z "$GALAXY_CONFIG_FILE" ]; then
|
|
if [ -f universe_wsgi.ini ]; then
|
|
GALAXY_CONFIG_FILE=universe_wsgi.ini
|
|
elif [ -f config/galaxy.ini ]; then
|
|
GALAXY_CONFIG_FILE=config/galaxy.ini
|
|
else
|
|
GALAXY_CONFIG_FILE=config/galaxy.ini.sample
|
|
fi
|
|
export GALAXY_CONFIG_FILE
|
|
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
|
|
done
|