eric6/WebBrowser/GreaseMonkey/GreaseMonkeyScript.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7923
91e843545d9a
equal deleted inserted replaced
7835:0835ed67714b 7836:2f0d208b8137
274 self.__noFrames = False 274 self.__noFrames = False
275 275
276 try: 276 try:
277 with open(self.__fileName, "r", encoding="utf-8") as f: 277 with open(self.__fileName, "r", encoding="utf-8") as f:
278 fileData = f.read() 278 fileData = f.read()
279 except (IOError, OSError): 279 except OSError:
280 # silently ignore because it shouldn't happen 280 # silently ignore because it shouldn't happen
281 return 281 return
282 282
283 if self.__fileName not in self.__fileWatcher.files(): 283 if self.__fileName not in self.__fileWatcher.files():
284 self.__fileWatcher.addPath(self.__fileName) 284 self.__fileWatcher.addPath(self.__fileName)

eric ide

mercurial