From 535d5e934f85f85a4b534ee5b31a097787ec695e Mon Sep 17 00:00:00 2001 From: Daniel Blankenberg Date: Fri, 17 May 2013 11:21:00 -0400 Subject: [PATCH] Fix for setting data manager version. --- lib/galaxy/tools/data_manager/manager.py | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/galaxy/tools/data_manager/manager.py b/lib/galaxy/tools/data_manager/manager.py index c89eaeb54b7..b966c3d79ca 100644 --- a/lib/galaxy/tools/data_manager/manager.py +++ b/lib/galaxy/tools/data_manager/manager.py @@ -112,6 +112,7 @@ class DataManager( object ): self.declared_id = elem.get( 'id', None ) self.guid = elem.get( 'guid', None ) path = elem.get( 'tool_file', None ) + self.version = elem.get( 'version', self.version ) tool_guid = None if path is None: tool_elem = elem.find( 'tool' )