debug SIGSEV at end of SALOME_SessionServer

diff --git a/bin/PortManager.py b/bin/PortManager.py
index c842c7e71ae1c0d8e8786c181e8bc88f792f9893..345af4e41912189ae3191c174941016d60b21118 100644 (file)
--- a/bin/PortManager.py
+++ b/bin/PortManager.py
@@ -35,11 +35,11 @@ __PORT_MAX_NUMBER = 2910
 import logging
 def createLogger():
   logger = logging.getLogger(__name__)
-#  logger.setLevel(logging.DEBUG)
-  logger.setLevel(logging.INFO)
+  logger.setLevel(logging.DEBUG)
+  #logger.setLevel(logging.INFO)
   ch = logging.StreamHandler()
   ch.setLevel(logging.DEBUG)
-  formatter = logging.Formatter("%(levelname)s:%(threadName)s:%(message)s")
+  formatter = logging.Formatter("%(levelname)s:%(threadName)s:%(pathname)s[%(lineno)s]%(message)s")
   ch.setFormatter(formatter)
   logger.addHandler(ch)
   return logger

diff --git a/src/SALOMEDSImpl/SALOMEDSImpl_Study.cxx b/src/SALOMEDSImpl/SALOMEDSImpl_Study.cxx
index e0814bab1cbdba125d84602545e03a093a6d0347..6e5d07f2c3be12289709a91e2049e21e74424bb0 100644 (file)
--- a/src/SALOMEDSImpl/SALOMEDSImpl_Study.cxx
+++ b/src/SALOMEDSImpl/SALOMEDSImpl_Study.cxx
@@ -172,9 +172,12 @@ void SALOMEDSImpl_Study::Init()
 //============================================================================
 void SALOMEDSImpl_Study::Clear()
 {
-  delete _builder;
-  delete _cb;
-  delete _useCaseBuilder;
+  if (_builder) delete _builder;
+  _builder = NULL;
+  if (_cb) delete _cb;
+  _cb = NULL;
+  if (_useCaseBuilder) delete _useCaseBuilder;
+  _useCaseBuilder = NULL;
   URL("");
   _appli->Close(_doc);
   _doc = NULL;