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

Fix whoosh indexing.

Browse Source
This commit is contained in:
Dave Bouvier
2016-09-21 14:40:12 -04:00
parent 34d60e2b27
commit b83f0a1024
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/tool_shed/build_ts_whoosh_index.py
+2 -1
View File
@@ -25,6 +25,7 @@ import galaxy.webapps.tool_shed.model.mapping
from galaxy.tools.loader_directory import load_tool_elements_from_path
from galaxy.util import pretty_print_time_interval
from galaxy.webapps.tool_shed import config, model
from galaxy.util import directory_hash_id
repo_schema = Schema(
id=STORED,
@@ -152,7 +153,7 @@ def get_repos( sa_session, path_to_repositories ):
# Parse all the tools within repo for separate index.
tools_list = []
path = os.path.join( path_to_repositories, *model.directory_hash_id( repo.id ))
path = os.path.join( path_to_repositories, *directory_hash_id( repo.id ) )
path = os.path.join( path, "repo_%d" % repo.id )
if os.path.exists(path):
tools_list.extend( load_one_dir( path ) )