diff options
| -rwxr-xr-x | Tools/webchecker/webchecker.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py index 091d0d2..071c2f6 100755 --- a/Tools/webchecker/webchecker.py +++ b/Tools/webchecker/webchecker.py @@ -335,7 +335,7 @@ class Checker: rp.set_url(url) try: rp.read() - except IOError, msg: + except (OSError, IOError), msg: self.note(1, "I/O error parsing %s: %s", url, msg) def run(self): @@ -533,7 +533,7 @@ class Checker: url, fragment = url_pair try: return self.urlopener.open(url) - except IOError, msg: + except (OSError, IOError), msg: msg = self.sanitize(msg) self.note(0, "Error %s", msg) if self.verbose > 0: |