svghmi/svghmi.py
branchsvghmi
changeset 3218 76f1cd1291f4
parent 3214 bb314cdfc656
child 3267 5f20f391ae31
equal deleted inserted replaced
3217:d23f5117f6b0 3218:76f1cd1291f4
   449 
   449 
   450         if os.path.exists(svgfile):
   450         if os.path.exists(svgfile):
   451 
   451 
   452             hasher = hashlib.md5()
   452             hasher = hashlib.md5()
   453             hmi_tree_root._hash(hasher)
   453             hmi_tree_root._hash(hasher)
       
   454             pofiles = GetPoFiles(self.CTNPath())
   454             filestocheck = [svgfile] + \
   455             filestocheck = [svgfile] + \
   455                            GetPoFiles(self.CTNPath()) + \
   456                            (list(zip(*pofiles)[1]) if pofiles else []) + \
   456                            self.GetFontsFiles()
   457                            self.GetFontsFiles()
   457 
   458 
   458             for filetocheck in filestocheck:
   459             for filetocheck in filestocheck:
   459                 with open(filetocheck, 'rb') as afile:
   460                 with open(filetocheck, 'rb') as afile:
   460                     while True:
   461                     while True: