Free server id pools directly.

When closing the game, we flush the command queue but after we are pushing the freeing calls of the id pool to the command queue and they are never being run. Now we free them directly.

Free server id pools directly.
7aa46222 · santouits · 2c96942d · 7aa46222
Commit 7aa46222 authored Jun 27, 2019 by santouits
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

server_wrap_mt_common.h servers/server_wrap_mt_common.h +1 -1

No files found.
--- a/servers/server_wrap_mt_common.h
+++ b/servers/server_wrap_mt_common.h
@@ -50,7 +50,7 @@
 	}                                                                                      \
 	void m_type##_free_cached_ids() {                                                      \
 		while (m_type##_id_pool.size()) {                                                  \
-			free(m_type##_id_pool.front()->get());                                         \
+			server_name->free(m_type##_id_pool.front()->get());                            \
 			m_type##_id_pool.pop_front();                                                  \
 		}                                                                                  \
 	}                                                                                      \