mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-21 05:45:37 +08:00
Nate Coraor
09feaf6f4d
dictConfig. Default log message format varies by stack. - Refactor a lot of file extension handling in to galaxy.util.path. - Simplify and improve config file finding. - Simplify and improve native app creation. - Integrate uWSGI argument generation with @jmchilton's improvements to the startup scripts. - Fix starting without a config file under uWSGI
42 lines
1.0 KiB
Bash
Executable File
42 lines
1.0 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
|
|
TOOL_SHED_PID=${TOOL_SHED_PID:-tool_shed_webapp.pid}
|
|
TOOL_SHED_LOG=${TOOL_SHED_LOG:-tool_shed_webapp.log}
|
|
PID_FILE=$TOOL_SHED_PID
|
|
LOG_FILE=$TOOL_SHED_LOG
|
|
|
|
. ./scripts/common_startup_functions.sh
|
|
|
|
parse_common_args $@
|
|
|
|
run_common_start_up
|
|
|
|
setup_python
|
|
|
|
|
|
tool_shed=`./scripts/tool_shed/bootstrap_tool_shed/parse_run_sh_args.sh $parser_args`
|
|
args=$parser_args
|
|
|
|
if [ $? -eq 0 ] ; then
|
|
bash ./scripts/tool_shed/bootstrap_tool_shed/bootstrap_tool_shed.sh $parser_args
|
|
args=`echo $@ | sed "s#-\?-bootstrap_from_tool_shed $tool_shed##"`
|
|
fi
|
|
|
|
if [ -z "$TOOL_SHED_CONFIG_FILE" ]; then
|
|
if [ -f tool_shed_wsgi.ini ]; then
|
|
TOOL_SHED_CONFIG_FILE=tool_shed_wsgi.ini
|
|
elif [ -f config/tool_shed.ini ]; then
|
|
TOOL_SHED_CONFIG_FILE=config/tool_shed.ini
|
|
elif [ -f config/tool_shed.yml ]; then
|
|
TOOL_SHED_CONFIG_FILE=config/tool_shed.yml
|
|
fi
|
|
export TOOL_SHED_CONFIG_FILE
|
|
fi
|
|
|
|
find_server ${TOOL_SHED_CONFIG_FILE:-none} tool_shed
|
|
echo "executing: $run_server $server_args"
|
|
eval $run_server $server_args
|