From: Bernard Secher <bernard.secher@cea.fr>
Date: Mon, 8 Aug 2016 13:59:52 +0000 (+0200)
Subject: kill ompi-server on killall
X-Git-Tag: V8_1_0b1~3
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=82e8d918999898627faa514c2e361ef5e333e348;p=modules%2Fkernel.git

kill ompi-server on killall
---

diff --git a/bin/killSalome.py b/bin/killSalome.py
index 41e2820a2..d3039eb96 100755
--- a/bin/killSalome.py
+++ b/bin/killSalome.py
@@ -92,6 +92,15 @@ def killAllPorts():
                 pass
             pass
         pass
+        cmd = "ps -fea | grep '%s' | grep 'ompi-server' | grep -v 'grep' | awk '{print $2}'" % user
+        prc = commands.getoutput(cmd)
+        for field in prc.split():
+            try:
+                os.kill(int(field), signal.SIGKILL)
+            except:
+                pass
+            pass
+        pass
     pass
 
 if __name__ == "__main__":