https://github.com/galaxyproject/galaxy
Revision 6b820e7cda2bf810822492927a821f0f1491aa47 authored by John Chilton on 17 December 2019, 01:59:30 UTC, committed by John Chilton on 17 December 2019, 01:59:30 UTC
1 parent dab395b
Raw File
Tip revision: 6b820e7cda2bf810822492927a821f0f1491aa47 authored by John Chilton on 17 December 2019, 01:59:30 UTC
Version 19.9.0 of objectstore (tag galaxy-objectstore-19.9.0).
Tip revision: 6b820e7
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
    TOOL_SHED_CONFIG_FILE=$(PYTHONPATH=lib python -c "from __future__ import print_function; from galaxy.util.properties import find_config_file; print(find_config_file(['tool_shed', 'tool_shed_wsgi']) or '')")
    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
back to top