opensource/galaxy
3
0
Fork 0
mirror of https://github.com/galaxyproject/galaxy.git synced 2026-10-25 00:12:08 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix tool shed direct tool (not in section) removal.

Browse Source 
Should fix https://github.com/galaxyproject/galaxy/issues/8471
This commit is contained in:
Dannon Baker
2019-08-20 20:27:54 -04:00
parent 59e1d31a82
commit 3932114d00
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/tool_shed/galaxy_install/tools/tool_panel_manager.py
+1 -1
View File
@@ -409,7 +409,7 @@ class ToolPanelManager(object):
# Keep a list of all empty section elements so they can be removed.
config_elems_to_remove.append(config_elem)
elif config_elem.tag == 'tool':
if (tool_elem.get('guid'), tool_elem.get('file')) in guid_paths_to_remove:
if (config_elem.get('guid'), config_elem.get('file')) in guid_paths_to_remove:
config_elems_to_remove.append(config_elem)
for config_elem in config_elems_to_remove:
config_elems.remove(config_elem)