https://github.com/galaxyproject/galaxy
Raw File
Tip revision: b04b3d949baaf32c9a9d9127c5a61250ffb580dd authored by Nicola Soranzo on 12 December 2019, 17:59:09 UTC
Merge branch 'release_17.05' into release_17.09
Tip revision: b04b3d9
run_tool_shed.sh
#!/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
    else
        TOOL_SHED_CONFIG_FILE=config/tool_shed.yml.sample
    fi
    export TOOL_SHED_CONFIG_FILE
fi

find_server $TOOL_SHED_CONFIG_FILE
$run_server $server_args
back to top