From 21c3d030005e1b896ba20ea22e5a29889461a420 Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Sun, 13 Sep 2015 17:38:55 +0200
Subject: [PATCH] Removed sleep from ServerKiller

---
 src/pocketmine/utils/ServerKiller.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/pocketmine/utils/ServerKiller.php b/src/pocketmine/utils/ServerKiller.php
index 2e3326ebb..34333f463 100644
--- a/src/pocketmine/utils/ServerKiller.php
+++ b/src/pocketmine/utils/ServerKiller.php
@@ -32,7 +32,9 @@ class ServerKiller extends Thread{
 	}
 
 	public function run(){
-		sleep($this->time);
+		$this->synchronized(function(){
+			$this->wait($this->time * 1000000);
+		});
 		echo "\nTook too long to stop, server was killed forcefully!\n";
 		@\pocketmine\kill(getmypid());
 	}