eric6/WebBrowser/AdBlock/AdBlockSubscription.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
equal deleted inserted replaced
7784:3257703e10c5 7785:9978016560ec
469 checksum (i.e. cannot be checked) or we are using the limited 469 checksum (i.e. cannot be checked) or we are using the limited
470 EasyList (because we fiddled with the original). 470 EasyList (because we fiddled with the original).
471 @rtype bool 471 @rtype bool
472 """ 472 """
473 try: 473 try:
474 f = open(fileName, "r", encoding="utf-8") 474 with open(fileName, "r", encoding="utf-8") as f:
475 data = f.read() 475 data = f.read()
476 f.close()
477 except (IOError, OSError): 476 except (IOError, OSError):
478 return False 477 return False
479 478
480 match = re.search(self.__checksumRe, data) 479 match = re.search(self.__checksumRe, data)
481 if match: 480 if match:

eric ide

mercurial