diff options
author | Marc Gilleron <marc.gilleron@gmail.com> | 2022-10-15 13:06:00 +0100 |
---|---|---|
committer | Marc Gilleron <marc.gilleron@gmail.com> | 2022-10-15 13:06:00 +0100 |
commit | 9efb2e786e266cdba9be87d3ca473c5e178ca1ae (patch) | |
tree | b7da5b8a34dcc8bb9f85f2002cb31d2b924c0505 /servers/xr_server.cpp | |
parent | dc4b6165962536b53c4c1471fcf0be43c70e2335 (diff) |
Fix case where mutex is never unlocked
Diffstat (limited to 'servers/xr_server.cpp')
0 files changed, 0 insertions, 0 deletions