Yes, we can unpause it automatically too.
Edit, these are the functions:
- https://github.com/FAForever/fa/blob/deploy/fafdevelop/engine/User.lua#L836
- https://github.com/FAForever/fa/blob/deploy/fafdevelop/engine/User.lua#L841
When a player leaves, we issue a pause. And then we can keep it paused for ~ 1 to 2 seconds, before we automatically continue by issuing a resume.