Reduced serverlist#637

Merged

corrados merged 3 commits intomasterfrom

reduced_serverlist

Sep 28, 2020

Commits on Sep 28, 2020

added reduced server list message (to reduce probability of UDP fragmentation issues)
corrados
committed
bug fix: all servers were shown to be "(full)"
corrados
committed
bug fix: do not update reduced server list if it was once received
corrados
committed