2018-07-15 02:00:00 +02:00
|
|
|
--- a/net/minecraft/server/DataConverterMap.java
|
|
|
|
+++ b/net/minecraft/server/DataConverterMap.java
|
2018-12-25 22:00:00 +01:00
|
|
|
@@ -31,7 +31,7 @@
|
|
|
|
Typed<?> typed1 = typed.getOrCreateTyped(opticfinder1);
|
|
|
|
Dynamic<?> dynamic1 = (Dynamic) typed1.get(DSL.remainderFinder());
|
2018-07-15 02:00:00 +02:00
|
|
|
|
2019-04-23 04:00:00 +02:00
|
|
|
- dynamic1 = dynamic1.set("map", dynamic1.createInt(dynamic.get("Damage").asInt(0)));
|
2020-06-25 02:00:00 +02:00
|
|
|
+ if (!dynamic1.getElement("map").result().isPresent()) dynamic1 = dynamic1.set("map", dynamic1.createInt(dynamic.get("Damage").asInt(0))); // CraftBukkit
|
2018-07-15 02:00:00 +02:00
|
|
|
return typed.set(opticfinder1, typed1.set(DSL.remainderFinder(), dynamic1));
|
|
|
|
} else {
|
|
|
|
return typed;
|