]> SALOME platform Git repositories - modules/kernel.git/commit
Salome HOME
Improve killSalomeWithPort script: before killing the servers with kill command,...
authorvsr <vsr@opencascade.com>
Wed, 14 Mar 2012 14:39:07 +0000 (14:39 +0000)
committervsr <vsr@opencascade.com>
Wed, 14 Mar 2012 14:39:07 +0000 (14:39 +0000)
commitbcf58b30551454184d067e79443e6358afb70618
tree6da784e210a8badefbed1b2aafda0f6726642ca3
parentb39f992df5f7e8db06ba97b3120074fb570c3f65
Improve killSalomeWithPort script: before killing the servers with kill command, give them chance to shutdown in a proper way
bin/killSalomeWithPort.py