diff options
author | Philip Paquette <pcpaquette@gmail.com> | 2019-08-27 21:57:07 -0400 |
---|---|---|
committer | Philip Paquette <pcpaquette@gmail.com> | 2019-08-28 06:15:47 -0400 |
commit | f939bcea1eaf358f1884367360adfc8e883ea753 (patch) | |
tree | 2d53660f3c934b8e8a1ed03eaa3adb1ef00e9d94 /diplomacy/server/request_manager_utils.py | |
parent | 9e036fdbf7288506e45eccbc9dac9c28fc50f13b (diff) |
Fixed the 'Unknown request' race condition
- This happened when a response was received before being marked as 'waiting_responses'
Diffstat (limited to 'diplomacy/server/request_manager_utils.py')
0 files changed, 0 insertions, 0 deletions