#!/bin/sh cd `dirname $0` ./scripts/common_startup.sh tool_shed=`./lib/tool_shed/scripts/bootstrap_tool_shed/parse_run_sh_args.sh $@` args=$@ if [ $? -eq 0 ] ; then bash ./lib/tool_shed/scripts/bootstrap_tool_shed/bootstrap_tool_shed.sh $@ 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 else TOOL_SHED_CONFIG_FILE=config/tool_shed.ini.sample fi export TOOL_SHED_CONFIG_FILE fi python ./scripts/paster.py serve $TOOL_SHED_CONFIG_FILE --pid-file=tool_shed_webapp.pid --log-file=tool_shed_webapp.log $args