Olivier Houchard 3121c00937 MEDIUM: servers: Use server_full to detect if a server is full
Instead of checking the value of served to know if the server is full,
make use of the newly introduced server_full where relevant, so that we
have less access to served.
2026-03-02 13:46:17 +01:00
..