diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-27 15:15:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-27 15:15:15 +0200 |
| commit | 538c8eec15d72b67e102f47f9df7624c29d14607 (patch) | |
| tree | 5fb14a521259eda43309c7cc4a4e0d8947382f16 | |
| parent | f35fd681acba34817d14e236f20a6065a069aea0 (diff) | |
| parent | 7aa4622222d3cc88b2d6c2e5552bc372272c3123 (diff) | |
Merge pull request #30117 from santouits/mt-pools
Free server id pools directly on closing
| -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(); \ } \ } \ |