Fix some players not being kicked on shutdown

Closes GH-8
2016-04-13 16:02:59 -05:00
parent 4588a80cdc
commit 1f9d65d57c
2 changed files with 26 additions and 1 deletions
--- a/Spigot-Server-Patches/Player-affects-spawning-API.patch
+++ b/Spigot-Server-Patches/Player-affects-spawning-API.patch
@ -10,7 +10,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
 +++ b/src/main/java/net/minecraft/server/EntityHuman.java
@@ -0,0 +0,0 @@
 package net.minecraft.server;
-
+ 
 import com.google.common.base.Charsets;
 +import com.google.common.base.Predicate; // Paper
 import com.google.common.collect.Lists;