2019-04-23 04:00:00 +02:00
|
|
|
--- a/net/minecraft/server/TicketType.java
|
|
|
|
|
+++ b/net/minecraft/server/TicketType.java
|
2019-07-08 04:14:16 +02:00
|
|
|
@@ -19,6 +19,8 @@
|
2019-12-10 23:00:00 +01:00
|
|
|
public static final TicketType<BlockPosition> PORTAL = a("portal", BaseBlockPosition::compareTo, 300);
|
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
|
2020-02-02 01:18:17 +01:00
|
|
|
+ public static final TicketType<org.bukkit.plugin.Plugin> PLUGIN_TICKET = a("plugin_ticket", (plugin1, plugin2) -> plugin1.getClass().getName().compareTo(plugin2.getClass().getName())); // CraftBukkit
|
2019-04-23 04:00:00 +02:00
|
|
|
|
|
|
|
|
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);
|
