* wrap/python/ajax/spot.in: Fix emulation of execfile.

ChangeLog

+2012-03-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* wrap/python/ajax/spot.in: Fix emulation of execfile.
+
 2012-03-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	ltl2tgba.html: save state in URL to preserve history

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