web: Consider spaces when splitting Accept-Enconding headers

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/src/web/base.py b/src/web/base.py
index bd96a4e1b3c471d830ed3c268d1651b2faf20c32..dd37dff75ece241742308c94e6a2c6e925f7c2c2 100644 (file)
--- a/src/web/base.py
+++ b/src/web/base.py
@@ -12,6 +12,7 @@ import json
 import kerberos
 import logging
 import os
+import re
 import socket
 import sys
 import time
@@ -239,7 +240,7 @@ class BaseHandler(tornado.web.RequestHandler):
                        return False
 
                # Check if the encoding is accepted
-               return encoding in header.split(",")
+               return encoding in re.split(r",\s*", header)
 
        def format_date(self, date, relative=True, shorter=False, full_format=False):
                return self.locale.format_date(date, relative=relative,