From ad2865eaffb45d1bff18afdfa66699a21c924bbe Mon Sep 17 00:00:00 2001 From: vsr Date: Wed, 20 Feb 2008 15:38:15 +0000 Subject: [PATCH] Fix an error message on SALOME session server exit: Traceback (most recent call last): File "", line 1, in ? OSError: [Errno 3] No such process --- src/Session/SALOME_Session_Server.cxx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Session/SALOME_Session_Server.cxx b/src/Session/SALOME_Session_Server.cxx index ee154f69e..daa2dbb18 100755 --- a/src/Session/SALOME_Session_Server.cxx +++ b/src/Session/SALOME_Session_Server.cxx @@ -348,7 +348,8 @@ void killOmniNames() cmd += QString("[ m.update(i) for i in pids ]; "); cmd += QString("pids=filter(lambda a: 'notifd' in m[a], m.keys()); "); cmd += QString("[ os.kill(pid, 9) for pid in pids ]; "); - cmd = QString("python -c \"%1\"").arg(cmd); + cmd += QString("os.remove(filedict); "); + cmd = QString("python -c \"%1\" > /dev/null").arg(cmd); system( cmd.latin1() ); } -- 2.39.2