Salome HOME
Fix pb with killSalome script: exception is raised at os.listdir() if /tmp/logs/...
authorvsr <vsr@opencascade.com>
Thu, 31 Jul 2008 03:48:33 +0000 (03:48 +0000)
committervsr <vsr@opencascade.com>
Thu, 31 Jul 2008 03:48:33 +0000 (03:48 +0000)
commit1c74b4f7eaa10ad8df0b76155097bb8c005ea334
tree8d6084dcb6e9188823b862f0f91eef3059598587
parent50e09dbc332f01cdc2e9cfbe883a107977acad23
Fix pb with killSalome script: exception is raised at os.listdir() if /tmp/logs/${USER} directory does not exist.
bin/killSalome.py