Commit 11c453d4 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

ajax: fix UTF-8 output

* wrap/python/ajax/ Here.
parent 813c3799
......@@ -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')
s = str(f)
s = f.to_str()
return '<%s class="formula spot-format">%s</%s>' % (kind, s, kind)
form = cgi.FieldStorage()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment