| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/outputtee.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/outputtee.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/outputtee.py
|
| index 12366e86538b467479ee3d98c7d870be31600a87..fa45d1f523080c6b23a8b067eeb3e2bf3ca504ce 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/outputtee.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/outputtee.py
|
| @@ -34,6 +34,7 @@ import sys
|
|
|
| # Simple class to split output between multiple destinations
|
| class Tee:
|
| +
|
| def __init__(self, *files):
|
| self.files = files
|
|
|
| @@ -44,6 +45,7 @@ class Tee:
|
|
|
|
|
| class OutputTee:
|
| +
|
| def __init__(self):
|
| self._original_stdout = None
|
| self._original_stderr = None
|
|
|