diff options
Diffstat (limited to 'scripts/driver')
| -rw-r--r-- | scripts/driver | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/driver b/scripts/driver index 0fc2033e5..c9080c198 100644 --- a/scripts/driver +++ b/scripts/driver @@ -35,6 +35,7 @@ def open(filename, mode='r', bufsize=-1, realopen=realopen): except IOError, e: strerror = e.strerror + ': ' + filename e.strerror = strerror + e.filename = filename e.args = (e.args[0], strerror) # Python 1.5 raise e, None, sys.exc_info()[2] |
