Fix for setting data manager version.

2026-09-24 16:30:27 +08:00 · 2013-05-17 11:21:00 -04:00
parent 4796ce6839
commit 535d5e934f
1 changed files with 1 additions and 0 deletions
@@ -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' )