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 /gles_builders.py | |
| 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 'gles_builders.py')
0 files changed, 0 insertions, 0 deletions