2015-03-08 19:04:41 +08:00
|
|
|
From e1d335a142a0f7a5b337250ec7bd4c4234a639a4 Mon Sep 17 00:00:00 2001
|
2014-07-22 04:46:54 +08:00
|
|
|
From: md_5 <git@md-5.net>
|
|
|
|
Date: Sun, 26 Jan 2014 21:48:34 +1100
|
|
|
|
Subject: [PATCH] Configurable Ping Sample Size
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/PacketStatusListener.java b/src/main/java/net/minecraft/server/PacketStatusListener.java
|
2015-02-28 19:36:22 +08:00
|
|
|
index 8966bfb..b996558 100644
|
2014-07-22 04:46:54 +08:00
|
|
|
--- a/src/main/java/net/minecraft/server/PacketStatusListener.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PacketStatusListener.java
|
2015-02-06 18:08:31 +08:00
|
|
|
@@ -113,6 +113,13 @@ public class PacketStatusListener implements PacketStatusInListener {
|
2014-07-22 04:46:54 +08:00
|
|
|
}
|
|
|
|
|
2015-02-28 19:36:22 +08:00
|
|
|
ServerPing.ServerPingPlayerSample playerSample = new ServerPing.ServerPingPlayerSample(event.getMaxPlayers(), profiles.size());
|
2014-07-22 04:46:54 +08:00
|
|
|
+ // Spigot Start
|
|
|
|
+ if ( !profiles.isEmpty() )
|
|
|
|
+ {
|
|
|
|
+ java.util.Collections.shuffle( profiles ); // This sucks, its inefficient but we have no simple way of doing it differently
|
|
|
|
+ profiles = profiles.subList( 0, Math.min( profiles.size(), org.spigotmc.SpigotConfig.playerSample ) ); // Cap the sample to n (or less) displayed players, ie: Vanilla behaviour
|
|
|
|
+ }
|
|
|
|
+ // Spigot End
|
|
|
|
playerSample.a(profiles.toArray(new GameProfile[profiles.size()]));
|
|
|
|
|
|
|
|
ServerPing ping = new ServerPing();
|
|
|
|
diff --git a/src/main/java/org/spigotmc/SpigotConfig.java b/src/main/java/org/spigotmc/SpigotConfig.java
|
2014-11-28 09:17:45 +08:00
|
|
|
index 345a49c..a0d88ec 100644
|
2014-07-22 04:46:54 +08:00
|
|
|
--- a/src/main/java/org/spigotmc/SpigotConfig.java
|
|
|
|
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
|
2014-07-30 16:35:19 +08:00
|
|
|
@@ -266,4 +266,11 @@ public class SpigotConfig
|
2014-07-22 04:46:54 +08:00
|
|
|
{
|
|
|
|
commands.put( "tps", new TicksPerSecondCommand( "tps" ) );
|
|
|
|
}
|
|
|
|
+
|
|
|
|
+ public static int playerSample;
|
|
|
|
+ private static void playerSample()
|
|
|
|
+ {
|
|
|
|
+ playerSample = getInt( "settings.sample-count", 12 );
|
|
|
|
+ System.out.println( "Server Ping Player Sample Count: " + playerSample );
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
--
|
2014-11-28 09:17:45 +08:00
|
|
|
2.1.0
|
2014-07-22 04:46:54 +08:00
|
|
|
|