# HG changeset patch
# User Edouard Tisserant
# Date 1517394557 -3600
# Node ID bdec3f1a40e7e2e9bdca4fae2b0b92e800e5a13a
# Parent  99f8cfa80b15f914fe263953893f7c85094c48f9
Better have globals passed to python extensions (-e) than locals.

diff -r 99f8cfa80b15 -r bdec3f1a40e7 Beremiz.py
--- a/Beremiz.py	Wed Jan 31 11:21:08 2018 +0100
+++ b/Beremiz.py	Wed Jan 31 11:29:17 2018 +0100
@@ -144,7 +144,7 @@
             sys.path.append(extension_folder)
             AddCatalog(os.path.join(extension_folder, "locale"))
             AddBitmapFolder(os.path.join(extension_folder, "images"))
-            execfile(extfilename, locals())
+            execfile(extfilename, globals())
 
     def CheckUpdates(self):
         if self.updateinfo_url is not None: