From d06ce0683b6e1bac15555a1c1dec43cf076020aa Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Mon, 28 Aug 2023 20:12:50 +0800
Subject: [PATCH] call __mg_nssurf_map_delete() in server_ServerCleanup

---
 src/server/server.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/server/server.c b/src/server/server.c
index 62c394f3..67467752 100644
--- a/src/server/server.c
+++ b/src/server/server.c
@@ -359,6 +359,10 @@ void server_ServerCleanup (void)
 {
     __mg_cleanup_layers ();
 
+#ifdef _MGSCHEMA_COMPOSITING
+   __mg_nssurf_map_delete ();
+#endif
+
     mg_TerminateTimer (TRUE);
 
     unlink (CS_PATH);