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

Typo

Browse Source
This commit is contained in:
mvdbeek
2015-12-18 15:11:17 +01:00
parent 2c657b98e2
commit 9752fa76c5
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/repository_dependencies/repository_dependency_manager.py
+1 -1
View File
@@ -419,7 +419,7 @@ class RepositoryDependencyInstallManager( object ):
# A single install transaction might require the installation of 2 or more repos
# with the same repo name but different owners or versions.
# Therefore, if required_repo_info_dict_key is already in all_repo_info_dicts,
# check that the tool id is already present. If no it is not, we are dealing with the same repo name,
# check that the tool id is already present. If it is not, we are dealing with the same repo name,
# but a different owner/changeset revision or version and we add the repo to the list of repos to be installed.
tool_id = required_repo_info_dict[ required_repo_info_dict_key ][ 1 ]
is_present = False