svghmi/svghmi.py
changeset 3915 b5017dd5c049
parent 3900 4df9cfd14a3c
equal deleted inserted replaced
3914:b2aa31f3a0ce 3915:b5017dd5c049
   557 
   557 
   558             hasher = hashlib.md5()
   558             hasher = hashlib.md5()
   559             hmi_tree_root._hash(hasher)
   559             hmi_tree_root._hash(hasher)
   560             pofiles = GetPoFiles(self.CTNPath())
   560             pofiles = GetPoFiles(self.CTNPath())
   561             filestocheck = [svgfile] + \
   561             filestocheck = [svgfile] + \
   562                            (list(zip(*pofiles)[1]) if pofiles else []) + \
   562                            (list(list(zip(*pofiles))[1]) if pofiles else []) + \
   563                            self.GetFontsFiles()
   563                            self.GetFontsFiles()
   564 
   564 
   565             for filetocheck in filestocheck:
   565             for filetocheck in filestocheck:
   566                 with open(filetocheck, 'rb') as afile:
   566                 with open(filetocheck, 'rb') as afile:
   567                     while True:
   567                     while True: