When inside a game, players can initiate a vote (similar to votekick, a button on the player list) to restart the server (if it’s laggy/frozen), of course with the same game settings as previously.
On a similar note, players can report frozen/broken servers on the server menu, or on the loading screen. If enough players report it, OR, there are no players in the server (bots DO NOT count as players in this case), the server is restarted.
A player can only report a frozen/broken server (that doesnt have any non-bot players) every 5 minutes to avoid spam. A server that’s already been reported by one person, cannot be reported by the same person again and add to the report tally.