diff options
| author | santouits <santouits@users.noreply.github.com> | 2019-06-27 03:25:36 +0300 |
|---|---|---|
| committer | santouits <santouits@users.noreply.github.com> | 2019-06-27 03:25:36 +0300 |
| commit | 7aa4622222d3cc88b2d6c2e5552bc372272c3123 (patch) | |
| tree | ed1c1ef5bd7ce440a71626b779c7ef7c9c4969c3 /servers | |
| parent | 2c96942df9318ea8a4f3ad06d007e46e3108fa48 (diff) | |
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.
Diffstat (limited to 'servers')
| -rw-r--r-- | servers/server_wrap_mt_common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/servers/server_wrap_mt_common.h b/servers/server_wrap_mt_common.h index f0ab256374..a6f595d776 100644 --- 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(); \ } \ } \ |