2019-04-23 04:00:00 +02:00
|
|
|
--- a/net/minecraft/server/TicketType.java
|
|
|
|
+++ b/net/minecraft/server/TicketType.java
|
2019-05-27 22:30:00 +02:00
|
|
|
@@ -19,6 +19,7 @@
|
2019-04-23 04:00:00 +02:00
|
|
|
public static final TicketType<BlockPosition2D> PORTAL = a("portal", Comparator.comparingLong(BlockPosition2D::b));
|
2019-05-27 22:30:00 +02:00
|
|
|
public static final TicketType<Integer> POST_TELEPORT = a("post_teleport", Integer::compareTo, 5);
|
|
|
|
public static final TicketType<ChunkCoordIntPair> UNKNOWN = a("unknown", Comparator.comparingLong(ChunkCoordIntPair::pair), 1);
|
2019-04-23 04:00:00 +02:00
|
|
|
+ public static final TicketType<Unit> PLUGIN = a("plugin", (a, b) -> 0); // CraftBukkit
|
|
|
|
|
|
|
|
public static <T> TicketType<T> a(String s, Comparator<T> comparator) {
|
2019-05-27 22:30:00 +02:00
|
|
|
return new TicketType<>(s, comparator, 0L);
|