diff -r 0835ed67714b -r 2f0d208b8137 eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py
--- a/eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py Sat Nov 21 19:31:16 2020 +0100
+++ b/eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py Sun Nov 22 16:04:59 2020 +0100
@@ -130,7 +130,7 @@
if deleteScript:
try:
os.remove(fileName)
- except (IOError, OSError):
+ except OSError:
# ignore
pass
@@ -177,7 +177,7 @@
try:
with open(fileName, "r", encoding="utf-8") as f:
source = f.read().strip()
- except (IOError, OSError):
+ except OSError:
source = ""
if source:
script += source + "\n"
