Revision 6304c816c9c5bd1bd60bedae42aa70b98bfeb1cf authored by John Chilton on 15 January 2015, 21:01:33 UTC, committed by John Chilton on 15 January 2015, 21:01:33 UTC
1 parent 136239b
Raw File
run_tool_shed.sh
#!/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

python ./scripts/paster.py serve tool_shed_wsgi.ini --pid-file=tool_shed_webapp.pid --log-file=tool_shed_webapp.log $args
back to top