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

Merge branch 'release_15.07' into dev

Browse Source
This commit is contained in:
Martin Cech
2015-08-06 11:29:18 -04:00
parent 8a683848ee 4d697b7b50
commit 7a39867933
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
@@ -165,8 +165,8 @@ def get_repos( sa_session, path_to_repositories ):
for root, dirs, files in os.walk( path ):
if '.hg' in dirs:
dirs.remove('.hg')
for name in dirs:
tools_in_dir = load_one_dir( os.path.join( root, name ) )
for dirname in dirs:
tools_in_dir = load_one_dir( os.path.join( root, dirname ) )
tools_list.extend( tools_in_dir )
results.append(dict( id=repo_id,