From 2b3f1de394099a01d7cad037051c88b1c3e88f00 Mon Sep 17 00:00:00 2001
From: Eric Chauvet <eric.chauvet@gmail.com>
Date: Thu, 14 May 2020 13:27:17 +0200
Subject: [PATCH] Use the maximum compression for gzip. A byte is a byte :)

---
 code/gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/gulpfile.js b/code/gulpfile.js
index 89fce351..6d1a3d01 100644
--- a/code/gulpfile.js
+++ b/code/gulpfile.js
@@ -167,7 +167,7 @@ var buildWebUI = function(module) {
             minifyJS: true
         })).
         pipe(replace('pure-', 'p-')).
-        pipe(gzip()).
+        pipe(gzip({ gzipOptions: { level: 9 } })).
         pipe(rename('index.' + module + '.html.gz')).
         pipe(gulp.dest(dataFolder)).
         pipe(toHeader('webui_image', true)).