From 82e8d918999898627faa514c2e361ef5e333e348 Mon Sep 17 00:00:00 2001
From: Bernard Secher <bernard.secher@cea.fr>
Date: Mon, 8 Aug 2016 15:59:52 +0200
Subject: [PATCH] kill ompi-server on killall

---
 bin/killSalome.py | 9 +++++++++
 1 file changed, 9 insertions(+)

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__":
-- 
2.39.2