From a089ca97258de9c2f86393011921736ed64e21b6 Mon Sep 17 00:00:00 2001 From: abd Date: Thu, 17 Aug 2006 13:13:48 +0000 Subject: [PATCH] Save logger.log file in $HOME directory --- bin/runSalome.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/runSalome.py b/bin/runSalome.py index 0100a9b54..7473fab53 100755 --- a/bin/runSalome.py +++ b/bin/runSalome.py @@ -187,7 +187,10 @@ class LoggerServer(Server): def __init__(self,args): self.args=args self.initArgs() - self.CMD=['SALOME_Logger_Server', 'logger.log'] + if sys.platform == "win32": + self.CMD=['SALOME_Logger_Server', os.environ["HOME"] + "/logger.log"]; + else: + self.CMD=['SALOME_Logger_Server', 'logger.log'] # --- -- 2.39.2