mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-21 05:45:37 +08:00
39 lines
1.6 KiB
Plaintext
39 lines
1.6 KiB
Plaintext
uwsgi:
|
|
|
|
http: localhost:8080
|
|
|
|
threads: 8
|
|
|
|
http-raw-body: True
|
|
|
|
offload-threads: 8
|
|
|
|
master: true
|
|
|
|
module: galaxy.webapps.galaxy.buildapp:uwsgi_app()
|
|
|
|
interactivetools_map: database/interactivetools_map.sqlite
|
|
python-raw: scripts/interactivetools/key_type_token_mapping.py
|
|
route-host: ^([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)-([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)\.([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)\.(interactivetool\.localhost:8080)$ goto:interactivetool
|
|
route-run: goto:endendend
|
|
route-label: interactivetool
|
|
route-host: ^([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)-([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)\.([A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)\.(interactivetool\.localhost:8080)$ rpcvar:TARGET_HOST rtt_key_type_token_mapper_cached $1 $3 $2 $4 $0 5
|
|
route-if-not: empty:${TARGET_HOST} httpdumb:${TARGET_HOST}
|
|
route: .* break:404 Not Found
|
|
route-label: endendend
|
|
|
|
|
|
galaxy:
|
|
interactivetools_enable: true
|
|
# outputs_to_working_directory will provide you with a better level of isolation. It is highly recommended to set
|
|
# this parameter with InteractiveTools.
|
|
outputs_to_working_directory: true
|
|
interactivetools_prefix: interactivetool
|
|
interactivetools_map: database/interactivetools_map.sqlite
|
|
# If you develop InteractiveTools locally and do not have a full FQDN you can
|
|
# use an arbritrary one, e.g. 'my-hostname' here, if you set this hostname in your
|
|
# job_conf.xml as well (see the corresponding comment).
|
|
# Please make sure that in the local development case you use https://localhost:8080 to access
|
|
# your Galaxy. http://my-hostname:8080 will not work.
|
|
# galaxy_infrastructure_url: http://my-hostname:8080
|