From 92f3037baa508f737b0394f631d880200e5c0cf0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 13 Mar 2020 13:42:43 +0100
Subject: [PATCH] use the Debian version of flask/flask-cors

---
 docker/Dockerfile | 1 +
 docker/install.sh | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 7827068..fd0493a 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -6,6 +6,7 @@ RUN echo 'deb [trusted=true] http://www.lrde.epita.fr/repo/debian/ stable/' >> /
       apt-get install -y --allow-unauthenticated --no-install-recommends \
       fonts-lato spot python3-spot spot-doc lighttpd graphviz libbdd0c2 \
       uwsgi uwsgi-plugin-python3 python3-pip python3-setuptools vim unzip \
+      python3-flask python3-flask-cors \
     && apt-get clean
 
 COPY install.sh /tmp/install.sh
diff --git a/docker/install.sh b/docker/install.sh
index 00485b8..8319a51 100755
--- a/docker/install.sh
+++ b/docker/install.sh
@@ -12,8 +12,6 @@ cp -R /usr/share/doc/python3-spot/examples/*.html ipynb
 
 gzip -cd /usr/share/doc/spot/tl/tl.pdf.gz > tl.pdf
 
-pip3 install flask flask-cors
-
 cat >/etc/lighttpd/lighttpd.conf <<\EOF
 server.modules = (
         "mod_access",
-- 
GitLab