]> SALOME platform Git repositories - modules/kernel.git/commit
Salome HOME
Remove ports from PortManager config file if unused
authorCédric Aguerre <cedric.aguerre@edf.fr>
Wed, 29 Jul 2015 07:36:56 +0000 (09:36 +0200)
committerCédric Aguerre <cedric.aguerre@edf.fr>
Wed, 29 Jul 2015 07:40:57 +0000 (09:40 +0200)
commitf01bf5798224e83b120ac5e3b251514e8cf6bea3
tree33edeeceacfd8fd6c7d0aee8a31e4ebe8711c187
parentbec59e4d16028a65febfc4b899e3c917d36f72fe
Remove ports from PortManager config file if unused
bin/killSalomeWithPort.py