From b8e8cce57e3591b12230e37603d7148d84136146 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Vinot?= <raphael@vinot.info>
Date: Wed, 28 Nov 2018 11:03:07 +0100
Subject: [PATCH] fix: Handle HEAD on /

---
 website/web/__init__.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/website/web/__init__.py b/website/web/__init__.py
index 1c0116b..7df6a39 100644
--- a/website/web/__init__.py
+++ b/website/web/__init__.py
@@ -70,6 +70,9 @@ def get_country_codes():
 
 @app.route('/', methods=['GET', 'POST'])
 def index():
+    if request.method == 'HEAD':
+        # Just returns ack if the webserver is running
+        return 'Ack'
     load_session()
     q = Querying()
     sources = q.get_sources(date=session['date'])