Stop all SALOME servers from given sessions by killing them. More...
Functions | |
| def | killSalomeWithPort::getPiDict |
| def | killSalomeWithPort::appliCleanOmniOrbConfig |
| def | killSalomeWithPort::killMyPort |
| kills all salome processes with the given port ########## | |
| def | killSalomeWithPort::killNotifdAndClean |
| def | killSalomeWithPort::killMyPortSpy |
Variables | |
| list | killSalomeWithPort::pid = sys.argv[2] |
| list | killSalomeWithPort::port = sys.argv[3] |
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
