Add GZip compression to the server

2 files changed, 6 insertions, 6 deletions

diff --git a/Dockerfile b/Dockerfile
index f8084892..de243843 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ RUN curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - \
 	&& echo "deb http://ftp.debian.org/debian stretch main" >> /etc/apt/sources.list \
 	&& apt-get update \
 	&& apt-get install -y python python-pip yarn git sed supervisor openjdk-8-jdk mysql-client \
-	&& pip install oauth2client eventlet flask-socketio mysql-connector-python-rf \
+	&& pip install oauth2client eventlet flask-socketio flask-compress mysql-connector-python-rf \
 	&& rm -rf /var/lib/apt/lists/*
 
 # Copy OpenDC directory
diff --git a/opendc-web-server b/opendc-web-server
-Subproject b87faa0bccf661a2b6a948d9420d52a19a63d9a
+Subproject cb4eafa88edd4db36f34185c9477e84346bece6