specialisation des paquets systemes par distribution, pour mieux gerer les differences

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

diff --git a/src/fork.py b/src/fork.py
index bfa5d7a7cad93dd3134a3022cb8b631371304b93..aa239de9a05581797fa8d08ea04959a210e59e7f 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():
@@ -162,7 +162,7 @@ def batch_salome(cmd, logger, cwd, args, getTmpDir,
     if found:
         logger.write("\nbatch_salome: supposed started\n", 5)
     else:
-        logger.write("\nbatch_salome: seems FAILED to launch salome or appli\n" % foundSalome, 3)
+        logger.write("\nbatch_salome: seems FAILED to launch salome or appli : %s\n" % foundSalome, 3)
         return False, -1
 
     # salome launched run the script