Stop all SALOME servers from given sessions by killing them. More...
Functions | |
def | killSalomeWithPort::getPiDict |
def | killSalomeWithPort::appliCleanOmniOrbConfig |
def | killSalomeWithPort::killMyPort |
def | killSalomeWithPort::killNotifdAndClean |
Stop all SALOME servers from given sessions by killing them.
The sessions are indicated by their ports on the command line as in :
killSalomeWithPort.py 2811 2815