From 4755e66d94241c17a566df61574e4fc902cd680a Mon Sep 17 00:00:00 2001 From: vsr Date: Wed, 6 Sep 2017 15:09:34 +0300 Subject: [PATCH] 0023423: [CEA 2029] salome -t --valgrind-session does not launch Salome with valgrind --- bin/runSalome.py | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/bin/runSalome.py b/bin/runSalome.py index 33886c27f..243ec39c1 100755 --- a/bin/runSalome.py +++ b/bin/runSalome.py @@ -189,10 +189,18 @@ class RegistryServer(Server): # --- class ContainerCPPServer(Server): - def __init__(self,args): + def __init__(self,args,with_gui=False): self.args=args self.initArgs() self.CMD=['SALOME_Container','FactoryServer'] + if not with_gui and self.args["valgrind_session"]: + l = ["valgrind"] + val = os.getenv("VALGRIND_OPTIONS") + if val: + l += val.split() + pass + self.CMD = l + self.CMD + pass # --- @@ -543,7 +551,7 @@ def startSalome(args, modules_list, modules_root_dir): # if ('cppContainer' in args['standalone']) | (args["gui"] == 0) : - myServer=ContainerCPPServer(args) + myServer=ContainerCPPServer(args, with_gui=args["gui"]!=0) myServer.run() if sys.platform == "win32": clt.waitNS("/Containers/" + theComputer + "/FactoryServer") -- 2.39.2