misc: Revert ServerResult record

This commit is contained in:
Adrian3d04 2022-08-14 03:40:07 +00:00
parent 904b84638c
commit d2ef3fd7d5
2 changed files with 16 additions and 3 deletions

View File

@ -4,12 +4,25 @@ import com.velocitypowered.api.event.ResultedEvent.Result;
import com.velocitypowered.api.proxy.server.RegisteredServer; import com.velocitypowered.api.proxy.server.RegisteredServer;
/**A result that produces a resulting server */ /**A result that produces a resulting server */
public record ServerResult(RegisteredServer server) implements Result { public final class ServerResult implements Result {
private static final ServerResult DENIED = new ServerResult(null); private static final ServerResult DENIED = new ServerResult(null);
private final RegisteredServer server;
private ServerResult(RegisteredServer server) {
this.server = server;
}
@Override @Override
public boolean isAllowed() { public boolean isAllowed() {
return server != null; return this.server != null;
}
/**
* Obtain the resulted server
* @return the resulted server if is allowed, else null
*/
public RegisteredServer getServer() {
return this.server;
} }
/** /**

View File

@ -123,7 +123,7 @@ public class PluginMessageListener {
if (!event.getResult().isAllowed()) { if (!event.getResult().isAllowed()) {
return; return;
} }
player.createConnectionRequest(event.getResult().server()) player.createConnectionRequest(event.getResult().getServer())
.connect() .connect()
.thenAcceptAsync(result -> { .thenAcceptAsync(result -> {
if (!result.isSuccessful()) { if (!result.isSuccessful()) {