this.server = server;
}
public void run() {
GameExtensionProxy extension = server.getGameExtension();
if (extension.getDelegate() instanceof GameAdapterWithServerName) {
GameAdapterWithServerName gameAdapter = (GameAdapterWithServerName) extension
.getDelegate();
try {
ServerQueryInformation query = gameAdapter
.queryServer(server.address);
if (query == null) {
server.ping = -200;
return;
}