[2] | 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 |
---|