details: http://www.bx.psu.edu/hg/galaxy/rev/3ad722e3c101 changeset: 3798:3ad722e3c101 user: Nate Coraor <nate@bx.psu.edu> date: Thu May 20 17:00:12 2010 -0400 description: add multiprocess.sh example script for running multiple galaxy processes. instructions coming later. diffstat: contrib/multiproccess.sh | 26 ++++++++++++++++++++++++++ 1 files changed, 26 insertions(+), 0 deletions(-) diffs (30 lines): diff -r e59720d5c6b8 -r 3ad722e3c101 contrib/multiproccess.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/contrib/multiproccess.sh Thu May 20 17:00:12 2010 -0400 @@ -0,0 +1,26 @@ +#!/bin/bash + +# copy this script to the top level galaxy directory and modify the following +# for your environment + +web_server_names=(web{0..2}) # server names: web0 web1 web2 +runner_server_names=(runner0) # server name: runner0 + +web_config='universe_wsgi.webapp.ini' +runner_config='universe_wsgi.runner.ini' + +# actually do the requested action + +if [ -z "$1" ]; then + echo "usage: multiprocess.sh <--daemon|--stop-daemon>" + exit 1 +fi + +for server_name in ${web_server_names[@]}; do + echo "[$server_name]" + python ./scripts/paster.py serve $web_config --server-name=$server_name --pid-file=$server_name.pid --log-file=$server_name.log $@ +done +for server_name in ${runner_server_names[@]}; do + echo "[$server_name]" + python ./scripts/paster.py serve $runner_config --server-name=$server_name --pid-file=$server_name.pid --log-file=$server_name.log $@ +done