fix python3 and ElementTreePython3.py

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

diff --git a/src/fork.py b/src/fork.py
index bfa5d7a7cad93dd3134a3022cb8b631371304b93..a3061ae4e40ec7c9e8e5fc715f171c7c34a8dd73 100644 (file)
--- a/src/fork.py
+++ b/src/fork.py
@@ -49,11 +49,11 @@ def write_back(logger, message, level):
 # --------------
 def launch_command(cmd, logger, cwd, args=[], log=None):
     if log:
-        log = file(log, "a")
+        log = open(log, "a")  # python2 file(log, "a")
     for arg in args:
         cmd += " " + arg
 
-    logger.write("launch_command:\n%s\n" % cmd, 5, screenOnly=True)
+    logger.write("launch_command:\n  %s\n" % cmd, 5, screenOnly=True)
 
     # Add Windows case
     if src.architecture.is_windows():