# HG changeset patch
# User Edouard Tisserant
# Date 1517566059 -3600
# Node ID cf54939e6b0c809b21137f72cbbe18a6da1f89f4
# Parent  584ad449ee5868160279fa9687281449d40c35ef
Launcher: allows customizations to specify what globals passed to extensions

diff -r 584ad449ee58 -r cf54939e6b0c Beremiz.py
--- a/Beremiz.py	Fri Feb 02 11:06:41 2018 +0100
+++ b/Beremiz.py	Fri Feb 02 11:07:39 2018 +0100
@@ -136,6 +136,13 @@
         from util.misc import InstallLocalRessources
         InstallLocalRessources(self.app_dir)
 
+    def globals(self):
+        """
+        allows customizations to specify what globals
+        are passed to extensions
+        """
+        return globals()
+
     def LoadExtensions(self):
         for extfilename in self.extensions:
             from util.TranslationCatalogs import AddCatalog
@@ -144,7 +151,7 @@
             sys.path.append(extension_folder)
             AddCatalog(os.path.join(extension_folder, "locale"))
             AddBitmapFolder(os.path.join(extension_folder, "images"))
-            execfile(extfilename, globals())
+            execfile(extfilename, self.globals())
 
     def CheckUpdates(self):
         if self.updateinfo_url is not None: