alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/cgi-bin/ltl2tgba.in: Fix python error occurring

Browse source 
only when the user did not make any error...
This commit is contained in:
Alexandre Duret-Lutz 2011-02-04 21:59:43 +01:00
parent 067a1a0b24
commit 08ee714760
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2011-02-04 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* wrap/python/cgi-bin/ltl2tgba.in: Fix python error occurring
only when the user did not make any error...
2011-02-04 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Prevent Spot from using an installed BuDDy version that does not

2
wrap/python/cgi-bin/ltl2tgba.in
View file

@ -505,7 +505,7 @@ if pel:
if not f:
print '<p><b>Aborting...</b></p>'
sys.exit(0)
if err:
if pel:
print '<p><b>Continuing anyway...</b></p>'
print "<p>Formula is<code>", f, "</code></p>"