destroy registry in naming service at shutdown

diff --git a/src/LifeCycleCORBA/SALOME_LifeCycleCORBA.cxx b/src/LifeCycleCORBA/SALOME_LifeCycleCORBA.cxx
index 65587093682de6ab27c2b156555821c170cd5fd5..d747db748c54772517a5aadedec7704d851d4353 100644 (file)
--- a/src/LifeCycleCORBA/SALOME_LifeCycleCORBA.cxx
+++ b/src/LifeCycleCORBA/SALOME_LifeCycleCORBA.cxx
@@ -537,6 +537,7 @@ void SALOME_LifeCycleCORBA::shutdownServers(bool shutdownLauncher)
       Registry::Components_var registry = Registry::Components::_narrow(objR);
       if ( !CORBA::is_nil(registry) && ( pid != registry->getPID() ) )
           registry->Shutdown();
+      _NS->Destroy("/Registry");
     }
   catch(const CORBA::Exception& e)
     {