From 5c86373845516a83accebe00b39f62a64726b8d6 Mon Sep 17 00:00:00 2001
From: Julian Rother <julianr@fsmpi.rwth-aachen.de>
Date: Mon, 24 Apr 2017 13:11:52 +0200
Subject: [PATCH] Force locale to de_DE.utf8

---
 server.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/server.py b/server.py
index 1e2de0c..33a9636 100644
--- a/server.py
+++ b/server.py
@@ -13,6 +13,9 @@ import string
 from socket import gethostname
 from ipaddress import ip_address, ip_network
 import math
+import locale
+
+locale.setlocale(locale.LC_ALL, 'de_DE.utf8')
 
 app = Flask(__name__)
 
-- 
GitLab