From 11c453d42680f4c4d45132d8a9d2e0723e179a8a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 20 Jun 2015 18:33:05 +0200
Subject: [PATCH] ajax: fix UTF-8 output

* wrap/python/ajax/spotcgi.in: Here.
---
 wrap/python/ajax/spotcgi.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wrap/python/ajax/spotcgi.in b/wrap/python/ajax/spotcgi.in
index ac8c064f7..ccb484ca7 100755
--- a/wrap/python/ajax/spotcgi.in
+++ b/wrap/python/ajax/spotcgi.in
@@ -346,9 +346,9 @@ def print_stats(automaton, detinfo = False, ta = False):
 
 def format_formula(f, kind='div'):
     if utf8:
-        s = spot.to_utf8_string(f)
+        s = f.to_str('utf8')
     else:
-        s = str(f)
+        s = f.to_str()
     return '<%s class="formula spot-format">%s</%s>' % (kind, s, kind)
 
 form = cgi.FieldStorage()