catching error when server is closing.

This commit is contained in:
gnembon committed 2021-03-18 00:39:54 -03:00
1 parent 3156094719
commit 544cf53fbf
1 file changed
+4 -2
@@ -318,10 +318,12 @@ public class SettingsManager
} }
server.send(new ServerTask(this.server.getTicks(), () -> server.send(new ServerTask(this.server.getTicks(), () ->
{ {
for (ServerPlayerEntity entityplayermp : server.getPlayerManager().getPlayerList()) try {
{ for (ServerPlayerEntity entityplayermp : server.getPlayerManager().getPlayerList()) {
server.getCommandManager().sendCommandTree(entityplayermp); server.getCommandManager().sendCommandTree(entityplayermp);
} }
}
catch (NullPointerException ignored) {}
})); }));
} }