From 7cea99066c4c7c35c2c632e92cdf347fd46b39d1 Mon Sep 17 00:00:00 2001
From: Bernard Secher <bernard.secher@cea.fr>
Date: Wed, 28 Nov 2018 11:43:34 +0100
Subject: [PATCH] destroy kernel in naming service on shutdown

---
 src/Session/Session_Session_i.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Session/Session_Session_i.cxx b/src/Session/Session_Session_i.cxx
index 6c4af9284..846392356 100644
--- a/src/Session/Session_Session_i.cxx
+++ b/src/Session/Session_Session_i.cxx
@@ -136,6 +136,7 @@ void SALOME_Session_i::NSunregister()
   try
     {
       _NS->Destroy_Name("/Kernel/Session");
+      _NS->Destroy_Directory("/Kernel");
     }
   catch (ServiceUnreachable&)
     {
-- 
2.39.2