]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
option --logs_paths_in_file: do not write in the the file at each micro command end
authorSerge Rehbinder <serge.rehbinder@cea.fr>
Fri, 4 Nov 2016 08:58:24 +0000 (09:58 +0100)
committerSerge Rehbinder <serge.rehbinder@cea.fr>
Fri, 4 Nov 2016 08:58:24 +0000 (09:58 +0100)
salomeTools.py

index 4b25cfa68fdd9ae902fd8f5ced8d13bc7c2b624b..2cb9b8d3166e83c1e74d558eae700da3894b9c0f 100755 (executable)
@@ -223,7 +223,7 @@ class Sat(object):
                 
                 # Check that the path given by the logs_paths_in_file option
                 # is a file path that can be written
-                if self.options.logs_paths_in_file:
+                if self.options.logs_paths_in_file and not micro_command:
                     try:
                         self.options.logs_paths_in_file = os.path.abspath(
                                                 self.options.logs_paths_in_file)
@@ -296,7 +296,7 @@ class Sat(object):
                         res = 1
                     # If the logs_paths_in_file was called, write the result
                     # and log files in the given file path
-                    if self.options.logs_paths_in_file:
+                    if self.options.logs_paths_in_file and not micro_command:
                         file_res = open(self.options.logs_paths_in_file, "w")
                         file_res.write(str(res) + "\n")
                         for i, filepath in enumerate(logger_command.l_logFiles):