fix kill 15 issues

2023-05-11 08:52:56 +00:00
parent 635cd39eda
commit 95dc4939b6
5 changed files with 17 additions and 0 deletions
--- a/src/observer/ob_server.cpp
+++ b/src/observer/ob_server.cpp
@ -531,6 +531,10 @@ void ObServer::destroy()
    ob_service_.destroy();
    FLOG_INFO("ob service destroyed");

+    FLOG_INFO("begin to destroy session manager");
+    session_mgr_.destroy();
+    FLOG_INFO("session manager destroyed");
+
    FLOG_INFO("begin to destroy locality manager");
    locality_manager_.destroy();
    FLOG_INFO("locality manager destroyed");