| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| index 7673332eb6f8d72324fde94fa4288d7daa62f312..63a84c786a7bd8ec7d1dd7c64bc9a2a0af6d3ffa 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| @@ -174,8 +174,8 @@ class FileSystem(object):
|
| """Create the specified directory if it doesn't already exist."""
|
| try:
|
| os.makedirs(self.join(*path))
|
| - except OSError as e:
|
| - if e.errno != errno.EEXIST:
|
| + except OSError as error:
|
| + if error.errno != errno.EEXIST:
|
| raise
|
|
|
| def move(self, source, destination):
|
| @@ -258,11 +258,11 @@ class FileSystem(object):
|
| try:
|
| osremove(path)
|
| return True
|
| - except exceptions.WindowsError as e:
|
| + except exceptions.WindowsError:
|
| time.sleep(sleep_interval)
|
| retry_timeout_sec -= sleep_interval
|
| if retry_timeout_sec < 0:
|
| - raise e
|
| + raise
|
|
|
| def rmtree(self, path):
|
| """Delete the directory rooted at path, whether empty or not."""
|
|
|