Revision 868acc362f6ce8a8b3559fcb88ebb4c060321905 authored by Martin Cech on 21 January 2016, 17:24:27 UTC, committed by Martin Cech on 21 January 2016, 17:24:27 UTC
[15.10] Bump 15.10 version to 15.10.1
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
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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...