unlink a .gz version of a file if it exists

1 files changed, 7 insertions, 0 deletions

diff --git a/inc/functions.php b/inc/functions.php
index 7df75ef2..bdc03535 100755
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -636,6 +636,13 @@ function file_unlink($path) {
 	}
 
 	$ret = @unlink($path);
+
+        if ($config['gzip_static']) {
+                $gzpath = "$path.gz";
+
+		@unlink($gzpath);
+	}
+
 	if (isset($config['purge']) && $path[0] != '/' && isset($_SERVER['HTTP_HOST'])) {
 		// Purge cache
 		if (basename($path) == $config['file_index']) {