beremiz

bdec3f1a40e7
Parents 99f8cfa80b15
Children b69bea00765a
Better have globals passed to python extensions (-e) than locals.
  • +1 -1
    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: