1 | #!/bin/bash |
---|
2 | |
---|
3 | # copy this script to the top level galaxy directory and modify the following |
---|
4 | # for your environment |
---|
5 | |
---|
6 | web_server_names=(web{0..2}) # server names: web0 web1 web2 |
---|
7 | runner_server_names=(runner0) # server name: runner0 |
---|
8 | |
---|
9 | web_config='universe_wsgi.webapp.ini' |
---|
10 | runner_config='universe_wsgi.runner.ini' |
---|
11 | |
---|
12 | # actually do the requested action |
---|
13 | |
---|
14 | if [ -z "$1" ]; then |
---|
15 | echo "usage: multiprocess.sh <--daemon|--stop-daemon>" |
---|
16 | exit 1 |
---|
17 | fi |
---|
18 | |
---|
19 | for server_name in ${web_server_names[@]}; do |
---|
20 | echo "[$server_name]" |
---|
21 | python ./scripts/paster.py serve $web_config --server-name=$server_name --pid-file=$server_name.pid --log-file=$server_name.log $@ |
---|
22 | done |
---|
23 | for server_name in ${runner_server_names[@]}; do |
---|
24 | echo "[$server_name]" |
---|
25 | python ./scripts/paster.py serve $runner_config --server-name=$server_name --pid-file=$server_name.pid --log-file=$server_name.log $@ |
---|
26 | done |
---|