Revision 136239b1b6982162728571c43f500b3d67f3b897 authored by Daniel Blankenberg on 14 January 2015, 22:07:46 UTC, committed by Daniel Blankenberg on 14 January 2015, 22:07:46 UTC
1 parent 703cbb0
manage_db.sh
#!/bin/sh
#######
# NOTE: To downgrade to a specific version, use something like:
# sh manage_db.sh downgrade --version=3 <tool_shed if using that webapp - galaxy is the default>
#######
cd `dirname $0`
python ./scripts/manage_db.py $@
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...