2019-08-26 11:24:09 +02:00
|
|
|
--- a/net/minecraft/server/DefinedStructureManager.java
|
|
|
|
+++ b/net/minecraft/server/DefinedStructureManager.java
|
2020-06-25 02:00:00 +02:00
|
|
|
@@ -19,7 +19,7 @@
|
|
|
|
public class DefinedStructureManager {
|
2019-08-26 11:24:09 +02:00
|
|
|
|
|
|
|
private static final Logger LOGGER = LogManager.getLogger();
|
|
|
|
- private final Map<MinecraftKey, DefinedStructure> b = Maps.newHashMap();
|
|
|
|
+ private final Map<MinecraftKey, DefinedStructure> b = Maps.newConcurrentMap(); // SPIGOT-5287
|
|
|
|
private final DataFixer c;
|
2020-06-25 02:00:00 +02:00
|
|
|
private IResourceManager d;
|
2019-08-26 11:24:09 +02:00
|
|
|
private final java.nio.file.Path e;
|