Reset needs_hole_punch when forcing server refresh.

This fixes #1 where servers requiring hole punch would time out from
the leader board after several hours when the server refresh triggers.
Besides, it's also possible the server no longer needs hole punching.
This commit is contained in:
Simon Howard 2020-10-11 02:36:29 +01:00
parent 3cb43a5e5f
commit d783811c05

View file

@ -267,6 +267,7 @@ class MasterServer:
if server.verified and server.metadata_age() > METADATA_REFRESH_TIME:
self.log_output(addr, "Metadata is old, forcing query")
server.verified = False
server.needs_hole_punch = False
# If the server has already been verified, we can send a
# reply immediately. Otherwise, query the server via a