Merge branch 'release_15.07' into dev

galaxyproject · Aug 13, 2015 · cafe872 · cafe872
2 parents 635ef18 + 98ec06c
commit cafe872
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/tool_shed/metadata/repository_metadata_manager.py b/lib/tool_shed/metadata/repository_metadata_manager.py
@@ -929,6 +929,7 @@ def reset_metadata_on_selected_repositories( self, **kwd ):
                 try:
                     repository = suc.get_repository_in_tool_shed( self.app, repository_id )
                     self.set_repository( repository )
+                    self.resetting_all_metadata_on_repository = True
                     self.reset_all_metadata_on_repository_in_tool_shed()
                     if self.invalid_file_tups:
                         message = tool_util.generate_message_for_invalid_tools( self.app,