2015-02-28 12:36:22 +01:00
|
|
|
From 02cbdc383eccf55a0263cfd0052d013ff55f831c Mon Sep 17 00:00:00 2001
|
2014-07-21 22:46:54 +02: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 12:36:22 +01:00
|
|
|
index 8966bfb..b996558 100644
|
2014-07-21 22:46:54 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/PacketStatusListener.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PacketStatusListener.java
|
2015-02-06 11:08:31 +01:00
|
|
|
@@ -113,6 +113,13 @@ public class PacketStatusListener implements PacketStatusInListener {
|
2014-07-21 22:46:54 +02:00
|
|
|
}
|
|
|
|
|
2015-02-28 12:36:22 +01:00
|
|
|
ServerPing.ServerPingPlayerSample playerSample = new ServerPing.ServerPingPlayerSample(event.getMaxPlayers(), profiles.size());
|
2014-07-21 22:46:54 +02: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 02:17:45 +01:00
|
|
|
index 345a49c..a0d88ec 100644
|
2014-07-21 22:46:54 +02:00
|
|
|
--- a/src/main/java/org/spigotmc/SpigotConfig.java
|
|
|
|
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
|
2014-07-30 10:35:19 +02:00
|
|
|
@@ -266,4 +266,11 @@ public class SpigotConfig
|
2014-07-21 22:46:54 +02: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 02:17:45 +01:00
|
|
|
2.1.0
|
2014-07-21 22:46:54 +02:00
|
|
|
|