Merge branch 'dev' into 'main'

Add healthcheck

See merge request !5

Dockerfile

@@ -51,6 +51,9 @@ RUN pip install --upgrade pip && \
 # define the port number the container should expose
 EXPOSE 8000
 
+HEALTHCHECK --interval=10s --timeout=3s \
+  CMD curl -s -o /dev/null -f http://localhost:8000/health || exit 1
+
 # upload folder
 VOLUME /opt/app/uploads
 

routes.py

@@ -73,7 +73,7 @@ def upload(language: str):
             return process_file()
         else:
             if form.email.data:
-                form.email.data = form.email.data[:-len(current_app.config["MAIL_DOMAIN"])]
+                form.email.data = form.email.data[: -len(current_app.config["MAIL_DOMAIN"])]
 
     if language != current_app.config["DEFAULT_LANGUAGE"]:
         form.email.label.text = current_app.config["LOCALISATIONS"]["email"]["label"][language]
@@ -94,3 +94,8 @@ def set_language(language):
         abort(404)
 
     request.language = language
+
+
+@current_app.route("/health")
+def health():
+    return "", 204