A plugin that stores the information about a servers player count to a redis server running on the server. This means that the player count of an individual server can be accessed within other plugins.
To build a plugin that implements this plugin make sure your plugin is accessing the jedis server. Then use jedis.get() with the serverID you want to recieve the player count from.
Install this plugin on all your servers if running on a network and then in the config set the serverID to the name specified in the plugin using this plugin. E.g "survival'. Make sure you have redis installed and running on the device that the server is running on. To find out how to do this click here
