kill ompi-server on killall

diff --git a/bin/killSalome.py b/bin/killSalome.py
index 41e2820a2ea4b7b11e59dbbdcdcd5d5078b6ec3b..d3039eb96b4a1b8498cb1058efc7f3f5b2df4162 100755 (executable)
--- 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__":