mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #226 from martenson/fix-tool-search
[15.05] avoid adding data managers to the tool search index
This commit is contained in:
@@ -37,6 +37,9 @@ class ToolBoxSearch( object ):
|
||||
self.index = self.storage.create_index( schema )
|
||||
writer = self.index.writer()
|
||||
for id, tool in self.toolbox.tools():
|
||||
# Do not add data managers to the public index
|
||||
if tool.tool_type == 'manage_data':
|
||||
continue
|
||||
add_doc_kwds = {
|
||||
"id": id,
|
||||
"name": to_unicode( tool.name ),
|
||||
|
||||
Reference in New Issue
Block a user