comment traces from OP

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

diff --git a/src/ElementTree.py b/src/ElementTree.py
index 34bd557d0f0df99cc019a005c5976d797aed847b..15d59ca164ba7d910891ff763e4d02a57ab5f637 100644 (file)
--- a/src/ElementTree.py
+++ b/src/ElementTree.py
@@ -589,7 +589,7 @@ class ElementTree:
         if not hasattr(source, "read"):
             # OP 14/11/2017 Ajout de traces pour essayer de decouvrir le pb
             #               de remontee de log des tests
-            print "TRACES OP - ElementTree.py/ElementTree.parse() source = '#%s#'" %source
+            #print "TRACES OP - ElementTree.py/ElementTree.parse() source = '#%s#'" %source
             source = open(source, "rb")
         if not parser:
             parser = XMLTreeBuilder()
@@ -883,7 +883,7 @@ def fixtag(tag, namespaces):
 def parse(source, parser=None):
     # OP 14/11/2017 Ajout de traces pour essayer de decouvrir le pb
     #               de remontee de log des tests
-    print "TRACES OP - ElementTree.py/parse() source = '#%s#'" %source
+    #print "TRACES OP - ElementTree.py/parse() source = '#%s#'" %source
     tree = ElementTree()
     tree.parse(source, parser)
     return tree