Merge branch 'dev' into 'master'

1.9.6

See merge request ajg0702/ajqueue!10

build.gradle.kts

@@ -5,7 +5,7 @@ plugins {
 }
 
 group = "us.ajg0702"
-version = "1.9.5"
+version = "1.9.6"
 
 repositories {
     mavenCentral()

src/main/java/us/ajg0702/queue/Main.java

@@ -243,6 +243,7 @@ public class Main extends Plugin implements Listener {
 					p.sendMessage(msgs.getBC("auto-queued", "SERVER:"+toName));
 					man.addToQueue(p, toName);
 				}, (long) (config.getDouble("auto-add-to-queue-on-kick-delay")*1000), TimeUnit.MILLISECONDS);
+				return;
 			}
 
 		}

src/main/java/us/ajg0702/queue/Manager.java

@@ -614,7 +614,7 @@ public class Manager {
 	 * @param p The player
 	 * @param s The name of the server
 	 */
-	public void addToQueue(ProxiedPlayer p, String s) {
+	public synchronized void addToQueue(ProxiedPlayer p, String s) {
 		if(p == null || s == null) return;
 		QueueServer server = findServer(s);
 		if(server == null) {

src/main/java/us/ajg0702/queue/spigot/Main.java

@@ -45,6 +45,7 @@ public class Main extends JavaPlugin implements PluginMessageListener,Listener {
 				if(Bukkit.getOnlinePlayers().size() <= 0 || queuebatch.size() <= 0) return;
 				String msg = "";
 				for(Player p : queuebatch.keySet()) {
+					if(p == null || !p.isOnline()) continue;
 					msg += p.getName()+":"+queuebatch.get(p)+",";
 				}
 				if(msg.length() > 1) {