| Index: tools/dom/scripts/multiemitter.py
|
| diff --git a/tools/dom/scripts/multiemitter.py b/tools/dom/scripts/multiemitter.py
|
| index 53989958a524cceac4f5760b866e0813abfb108b..3f1e12cda2672ec0c2b69ff105a932c9a5b36bcc 100644
|
| --- a/tools/dom/scripts/multiemitter.py
|
| +++ b/tools/dom/scripts/multiemitter.py
|
| @@ -88,7 +88,7 @@ def _WriteFile(path, lines):
|
| f = open(path, 'w')
|
| f.writelines(lines)
|
| f.close()
|
| - except OSError as error:
|
| + except IOError as error:
|
| # FIXME(kustermann): Remove this later on.
|
| # We try to get more debugging information to figure out why we sometimes
|
| # get a "Permission denied" error when opening the file for writing.
|
|
|