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.

(cherry picked from commit 7aa4622222)
This commit is contained in:
santouits 2019-06-27 03:25:36 +03:00 committed by Rémi Verschelde
parent 0fc4c3a308
commit 1c8984c433
1 changed files with 1 additions and 1 deletions

View File

@ -50,7 +50,7 @@
} \ } \
void m_type##_free_cached_ids() { \ void m_type##_free_cached_ids() { \
while (m_type##_id_pool.size()) { \ 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(); \ m_type##_id_pool.pop_front(); \
} \ } \
} \ } \