From 802319ddbb72a1a6ee17dc6f352f78fc7e737db1 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 8 Mar 2012 21:30:09 +0100 Subject: [PATCH] * wrap/python/ajax/spot.in: Fix emulation of execfile. --- ChangeLog | 4 ++++ wrap/python/ajax/spot.in | 3 +-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 598effd73..656c8337b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-03-08 Alexandre Duret-Lutz + + * wrap/python/ajax/spot.in: Fix emulation of execfile. + 2012-03-04 Alexandre Duret-Lutz ltl2tgba.html: save state in URL to preserve history diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in index 3347b3a58..dfab26486 100755 --- a/wrap/python/ajax/spot.in +++ b/wrap/python/ajax/spot.in @@ -199,8 +199,7 @@ if ('SERVER_SOFTWARE' in os.environ and try: # execfile('ltl2tgba.opt') no longuer work with Python 3. - exec(compile(open("ltl2tgba.opt").read(), "ltl2tgba.opt", 'exec'), - global_vars, local_vars) + exec(compile(open("ltl2tgba.opt").read(), "ltl2tgba.opt", 'exec')) except IOError: pass