* python/ajax/spotcgi.in: Thinko.

This commit is contained in:
Alexandre Duret-Lutz 2016-02-18 09:08:08 +01:00
parent 22f442f758
commit f59042fc9f

View file

@ -436,6 +436,7 @@ formula = form.getfirst('f', '')
env = spot.default_environment.instance() env = spot.default_environment.instance()
pf = spot.parse_infix_psl(formula, env) pf = spot.parse_infix_psl(formula, env)
f = pf.f
if pf.errors: if pf.errors:
# Try the LBT parser in case someone is throwing LBT formulas at us. # Try the LBT parser in case someone is throwing LBT formulas at us.
@ -444,7 +445,6 @@ if pf.errors:
unbufprint('<div class="parse-error">') unbufprint('<div class="parse-error">')
err = pf.format_errors(spot.get_cout()) err = pf.format_errors(spot.get_cout())
unbufprint('</div>') unbufprint('</div>')
f = pf.f
else: else:
f = pg.f f = pg.f