opensource/galaxy
3
0
Fork 0
mirror of https://github.com/galaxyproject/galaxy.git synced 2026-09-24 16:30:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

Since tool migration scripts can be executed any number of times, make sure that no repositories are installed if not tools associated with the migration are defined in the tool_conf.xml file (or equivalent). This fix is associated only with the recently introduced Galaxy admin UI feature displaying the list of migration stages currently available. This is the way the migration process at server startup has always worked so no changes are needed in that scenario.

Browse Source
This commit is contained in:
Greg Von Kuster
2012-11-07 10:51:35 -05:00
parent e316254e28
commit d0438ecb2f
4 changed files with 140 additions and 116 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/migrate_tools/migrate_tools.py
+2 -2
View File
@@ -26,8 +26,8 @@ if len( non_shed_tool_confs ) == 1:
else:
plural = 's'
file_names = ', '.join( non_shed_tool_confs )
msg = "\nThe installation process is finished. You should now remove entries for the installed tools from your file%s named\n" % plural
msg += "%s and start your Galaxy server.\n" % file_names
msg = "\nThe installation process is finished. If any tools associated with this migration were defined in your file%s named\n" % plural
msg += "%s, then you should remove entries for them and start your Galaxy server.\n" % file_names
print msg
app.shutdown()
sys.exit( 0 )