compression of ".htdeployment" can be also gzip [Closes #147]

dg · Aug 27, 2021 · 608f441 · 608f441
1 parent 49e23b2
commit 608f441
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Deployment/Deployer.php b/src/Deployment/Deployer.php
@@ -222,7 +222,8 @@ private function loadDeploymentFile(): ?array
 		} catch (ServerException $e) {
 			return null;
 		}
-		$content = gzinflate(file_get_contents($tempFile));
+		$s = file_get_contents($tempFile);
+		$content = @gzdecode($s) ?: gzinflate($s);
 		$res = [];
 		foreach (explode("\n", $content) as $item) {
 			if (count($item = explode('=', $item, 2)) === 2) {