mirror of
https://github.com/Winds-Studio/Leaf.git
synced 2026-01-04 15:41:40 +00:00
83e9043a45
* a lot of cleanup and new chunk changes * perf: Head Node Hit Optimization * part 1: reworked-reworked ChunkHolderManager * part 2: speeeeeeeeeeeeeeeeeeeeeeeeeeed * Optimise MobEffectUtil#getDigSpeedAmplification * optimize chunk unloads and cleanup a bit * fix 🐝 * rewritten async target finding * extend the custom map usage --------- Co-authored-by: Dreeam <61569423+Dreeam-qwq@users.noreply.github.com>
34 lines
1.7 KiB
Diff
34 lines
1.7 KiB
Diff
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
From: Taiyou06 <kaandindar21@gmail.com>
|
|
Date: Sat, 22 Mar 2025 11:22:23 +0100
|
|
Subject: [PATCH] Remove streams on updateConnectedPlayersWithinRange
|
|
|
|
|
|
diff --git a/net/minecraft/world/level/block/entity/vault/VaultSharedData.java b/net/minecraft/world/level/block/entity/vault/VaultSharedData.java
|
|
index 50d6ff126a35ce8613175b550dac50cd82c43f9d..ea76c2084a5591ec2373172a6f31b10d12f13849 100644
|
|
--- a/net/minecraft/world/level/block/entity/vault/VaultSharedData.java
|
|
+++ b/net/minecraft/world/level/block/entity/vault/VaultSharedData.java
|
|
@@ -65,11 +65,17 @@ public class VaultSharedData {
|
|
}
|
|
|
|
void updateConnectedPlayersWithinRange(ServerLevel level, BlockPos pos, VaultServerData serverData, VaultConfig config, double deactivationRange) {
|
|
- Set<UUID> set = config.playerDetector()
|
|
- .detect(level, config.entitySelector(), pos, deactivationRange, false)
|
|
- .stream()
|
|
- .filter(uuid -> !serverData.getRewardedPlayers().contains(uuid))
|
|
- .collect(Collectors.toSet());
|
|
+ // Leaf start - Remove streams on updateConnectedPlayersWithinRange
|
|
+ java.util.List<UUID> detectedPlayers = config.playerDetector().detect(level, config.entitySelector(), pos, deactivationRange, false);
|
|
+ Set<UUID> set = new ObjectLinkedOpenHashSet<>();
|
|
+
|
|
+ for (UUID uuid : detectedPlayers) {
|
|
+ if (!serverData.getRewardedPlayers().contains(uuid)) {
|
|
+ set.add(uuid);
|
|
+ }
|
|
+ }
|
|
+ // Leaf end - Remove streams on updateConnectedPlayersWithinRange
|
|
+
|
|
if (!this.connectedPlayers.equals(set)) {
|
|
this.connectedPlayers = set;
|
|
this.markDirty();
|