diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 3d69b2747..db9a9f7e4 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1527,6 +1527,8 @@ class Server{
 				if($processors > 0){
 					$poolSize = max(1, $processors);
 				}
+			}else{
+				$poolSize = (int) $poolSize;
 			}
 
 			ServerScheduler::$WORKERS = $poolSize;