Fix for newer versions of tornado.

diff --git a/web/handlers_base.py b/web/handlers_base.py
index f25d7e1c1cafbd2c6d591d9f78dd0cbd482e2423..aeea22474fa7cbdd8c678022ced8e64e898d7321 100644 (file)
--- a/web/handlers_base.py
+++ b/web/handlers_base.py
@@ -49,7 +49,7 @@ class BaseHandler(tornado.web.RequestHandler):
        def get_user_locale(self):
                DEFAULT_LOCALE = tornado.locale.get("en_US")
                ALLOWED_LOCALES = \
-                       [tornado.locale.get(l) for l in tornado.locale.get_supported_locales(None)]
+                       [tornado.locale.get(l) for l in tornado.locale.get_supported_locales()]
 
                # One can append "?locale=de" to mostly and URI on the site and
                # another output that guessed.