From 2eb62c85f69ebd22b36f29cfb513a579ea570b0c Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 14 May 2020 00:37:54 +0100
Subject: [PATCH] Server: cast network.compression-level to int, closes #3393

---
 src/pocketmine/Server.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index f3c399ad3..19451ba98 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1396,7 +1396,7 @@ class Server{
 				Network::$BATCH_THRESHOLD = -1;
 			}
 
-			$this->networkCompressionLevel = $this->getProperty("network.compression-level", 7);
+			$this->networkCompressionLevel = (int) $this->getProperty("network.compression-level", 7);
 			if($this->networkCompressionLevel < 1 or $this->networkCompressionLevel > 9){
 				$this->logger->warning("Invalid network compression level $this->networkCompressionLevel set, setting to default 7");
 				$this->networkCompressionLevel = 7;