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

Merge branch 'release_16.07' into dev

Browse Source
This commit is contained in:
Nicola Soranzo
2016-09-23 17:59:52 +01:00
parent 317fb472c9 092a7307c2
commit 7a604c67d9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/tool_shed/build_ts_whoosh_index.py
+2 -2
View File
@@ -23,7 +23,7 @@ sys.path.insert(1, os.path.abspath(os.path.join(os.path.dirname(__file__), os.pa
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.util import directory_hash_id, pretty_print_time_interval
from galaxy.webapps.tool_shed import config, model
repo_schema = Schema(
@@ -152,7 +152,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 ) )