svghmi/svghmi.py
changeset 3375 aa25c89a8845
parent 3372 e5cb7447320c
child 3379 c3d462118d37
child 3381 3a0908b0319d
equal deleted inserted replaced
3374:9a82918e063c 3375:aa25c89a8845
   521 
   521 
   522         target_fname = "svghmi_"+location_str+".xhtml"
   522         target_fname = "svghmi_"+location_str+".xhtml"
   523 
   523 
   524         build_path = self._getBuildPath()
   524         build_path = self._getBuildPath()
   525         target_path = os.path.join(build_path, target_fname)
   525         target_path = os.path.join(build_path, target_fname)
   526         hash_path = os.path.join(build_path, "svghmi.md5")
   526         hash_path = os.path.join(build_path, "svghmi_"+location_str+".md5")
   527 
   527 
   528         self.GetCTRoot().logger.write("SVGHMI:\n")
   528         self.GetCTRoot().logger.write("SVGHMI:\n")
   529 
   529 
   530         if os.path.exists(svgfile):
   530         if os.path.exists(svgfile):
   531 
   531