2014-03-09 21:37:28 +00:00
|
|
|
From 73f8859daf3ee1a36875117a75c29e3768cce9d0 Mon Sep 17 00:00:00 2001
|
2014-01-26 10:50:53 +00: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
|
|
|
|
index 7903c43..f9da452 100644
|
|
|
|
--- a/src/main/java/net/minecraft/server/PacketStatusListener.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PacketStatusListener.java
|
|
|
|
@@ -110,6 +110,13 @@ public class PacketStatusListener implements PacketStatusInListener {
|
|
|
|
}
|
|
|
|
|
|
|
|
ServerPingPlayerSample playerSample = new ServerPingPlayerSample(event.getMaxPlayers(), profiles.size());
|
|
|
|
+ // 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-02-12 13:48:26 +00:00
|
|
|
index 713b351..ba28878 100644
|
2014-01-26 10:50:53 +00:00
|
|
|
--- a/src/main/java/org/spigotmc/SpigotConfig.java
|
|
|
|
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
|
2014-02-12 13:48:26 +00:00
|
|
|
@@ -238,4 +238,11 @@ public class SpigotConfig
|
2014-01-26 10:50:53 +00: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-03-09 21:37:28 +00:00
|
|
|
1.8.3.2
|
2014-01-26 10:50:53 +00:00
|
|
|
|