eric6/WebBrowser/GreaseMonkey/GreaseMonkeyScript.py

changeset 7785
9978016560ec
parent 7775
4a1db75550bd
child 7836
2f0d208b8137
equal deleted inserted replaced
7784:3257703e10c5 7785:9978016560ec
272 self.__enabled = True 272 self.__enabled = True
273 self.__valid = False 273 self.__valid = False
274 self.__noFrames = False 274 self.__noFrames = False
275 275
276 try: 276 try:
277 f = open(self.__fileName, "r", encoding="utf-8") 277 with open(self.__fileName, "r", encoding="utf-8") as f:
278 fileData = f.read() 278 fileData = f.read()
279 f.close()
280 except (IOError, OSError): 279 except (IOError, OSError):
281 # silently ignore because it shouldn't happen 280 # silently ignore because it shouldn't happen
282 return 281 return
283 282
284 if self.__fileName not in self.__fileWatcher.files(): 283 if self.__fileName not in self.__fileWatcher.files():

eric ide

mercurial