23 #ifndef idd4447d5c_3443_4b8c_9902_82b5f6d51a47    24 #define idd4447d5c_3443_4b8c_9902_82b5f6d51a47    38         int numGenericServers;
    45         void countPlayers(
const ServerPtr &server);
    46         void discountPlayers(
const ServerPtr &server);
    48         void countServer(
const ServerPtr &server);
    49         void discountServer(
const ServerPtr &server);
    51         int refreshedPercent() 
const;
    67         void deregisterServer(ServerPtr server);
    68         void registerServer(ServerPtr server);
    77         void onServerBegunRefreshing(ServerPtr server);
    78         void onServerUpdated(ServerPtr server);