spns #40790: on Debian distributions, use dpkg-query instead of apt to check system...

[tools/sat.git] / src / ElementTree.py

diff --git a/src/ElementTree.py b/src/ElementTree.py
index 1cfe8ceaa7d67e949530a37550325141d32172ad..b871200f6461694aa6ff92d2fa83ab6bf8576130 100644 (file)
--- a/src/ElementTree.py
+++ b/src/ElementTree.py
@@ -13,14 +13,14 @@ _versionPython = sys.version_info[0]
 if _versionPython < 3:
   # python2 previous historic mode
   import src.ElementTreePython2 as etree
-  DBG.write("ElementTree Python2", etree.__file__)
+  DBG.write("ElementTree Python2 %s" % etree.VERSION, etree.__file__, DBG.isDeveloper())
   tostring = etree.tostring
 
 else:
   # python3 mode
   # import xml.etree.ElementTree as etree # native version
   import src.ElementTreePython3 as etree # VERSION 1.3.0 plus _serialize 'pretty_xml'
-  DBG.write("ElementTree Python3 VERSION 1.3.0", etree.__file__, DBG.isDeveloper())
+  DBG.write("ElementTree Python3 %s" % etree.VERSION, etree.__file__, DBG.isDeveloper())
 
   def tostring(node, encoding='utf-8'):
     """