| 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 d00bef71619bc61602d714572779c9541cdfd21b..65a9bd8a0578494f4319768dc7550f6732110e33 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py
|
| @@ -172,7 +172,7 @@ class FileSystem(object):
|
| """Create the specified directory if it doesn't already exist."""
|
| try:
|
| os.makedirs(self.join(*path))
|
| - except OSError, e:
|
| + except OSError as e:
|
| if e.errno != errno.EEXIST:
|
| raise
|
|
|
| @@ -254,7 +254,7 @@ class FileSystem(object):
|
| try:
|
| osremove(path)
|
| return True
|
| - except exceptions.WindowsError, e:
|
| + except exceptions.WindowsError as e:
|
| time.sleep(sleep_interval)
|
| retry_timeout_sec -= sleep_interval
|
| if retry_timeout_sec < 0:
|
|
|