web/propertysheet.py
changeset 10899 e0abfc3b4a10
parent 10897 7c386161ebd6
child 11434 f6ba947c11ee
equal deleted inserted replaced
10898:c96d67251a9d 10899:e0abfc3b4a10
    51 
    51 
    52     def reset(self):
    52     def reset(self):
    53         self.clear()
    53         self.clear()
    54         self._ordered_propfiles = []
    54         self._ordered_propfiles = []
    55         self._propfile_mtime = {}
    55         self._propfile_mtime = {}
    56         self._sourcefile_mtime = {}
       
    57 
    56 
    58     def load(self, fpath):
    57     def load(self, fpath):
    59         scriptglobals = self.context.copy()
    58         scriptglobals = self.context.copy()
    60         scriptglobals['__file__'] = fpath
    59         scriptglobals['__file__'] = fpath
    61         with open(fpath, 'rb') as fobj:
    60         with open(fpath, 'rb') as fobj: