From 544cf53fbf9b3500e322a6537cc1a880fde0d41f Mon Sep 17 00:00:00 2001 From: gnembon Date: Thu, 18 Mar 2021 00:39:54 -0300 Subject: [PATCH] catching error when server is closing. --- src/main/java/carpet/settings/SettingsManager.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/main/java/carpet/settings/SettingsManager.java b/src/main/java/carpet/settings/SettingsManager.java index 489262d4..3c0ae01a 100644 --- a/src/main/java/carpet/settings/SettingsManager.java +++ b/src/main/java/carpet/settings/SettingsManager.java @@ -318,10 +318,12 @@ public class SettingsManager } server.send(new ServerTask(this.server.getTicks(), () -> { - for (ServerPlayerEntity entityplayermp : server.getPlayerManager().getPlayerList()) - { - server.getCommandManager().sendCommandTree(entityplayermp); + try { + for (ServerPlayerEntity entityplayermp : server.getPlayerManager().getPlayerList()) { + server.getCommandManager().sendCommandTree(entityplayermp); + } } + catch (NullPointerException ignored) {} })); }