Mirrors/Velocity
1
0
Fork 1
mirror of https://github.com/PaperMC/Velocity.git synced 2026-06-21 09:47:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

fall back to non-record pattern matching (appease checkstyle)

Browse Source
This commit is contained in:
Shane Freeder
2026-05-07 12:16:02 +01:00
parent aa9e02d79c
commit dd67dfd8d0
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
api/src/main/java/com/velocitypowered/api/event/player/PlayerChooseInitialServerEvent.java
View File

@@ -48,8 +48,8 @@ public class PlayerChooseInitialServerEvent implements ResultedEvent<PlayerChoos
} }
public Optional<RegisteredServer> getInitialServer() { public Optional<RegisteredServer> getInitialServer() {
if (result instanceof Allowed(RegisteredServer initialServer)) { if (result instanceof Allowed allowed) {
return Optional.ofNullable(initialServer); return Optional.ofNullable(allowed.initialServer());
} }
return Optional.empty(); return Optional.empty();
} }

8
proxy/src/main/java/com/velocitypowered/proxy/connection/client/AuthSessionHandler.java
View File

@@ -263,14 +263,14 @@ public class AuthSessionHandler implements MinecraftSessionHandler {
return server.getEventManager().fire(event).thenRunAsync(() -> { return server.getEventManager().fire(event).thenRunAsync(() -> {
final PlayerChooseInitialServerEvent.Result result = event.getResult(); final PlayerChooseInitialServerEvent.Result result = event.getResult();
if (event.getResult() instanceof PlayerChooseInitialServerEvent.Denied(Component reason)) { if (event.getResult() instanceof PlayerChooseInitialServerEvent.Denied denied) {
player.disconnect0(Objects.requireNonNullElse(reason, player.disconnect0(Objects.requireNonNullElse(denied.reason(),
Component.translatable("velocity.error.no-available-servers", NamedTextColor.RED)), Component.translatable("velocity.error.no-available-servers", NamedTextColor.RED)),
true); true);
//noinspection UnnecessaryReturnStatement //noinspection UnnecessaryReturnStatement
return; return;
} else if (result instanceof PlayerChooseInitialServerEvent.Allowed(RegisteredServer initialServer)) { } else if (result instanceof PlayerChooseInitialServerEvent.Allowed allowed) {
player.createConnectionRequest(initialServer).fireAndForget(); player.createConnectionRequest(allowed.initialServer()).fireAndForget();
} }
}, mcConnection.eventLoop()); }, mcConnection.eventLoop());
} }