Chromium Code Reviews| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/systemhost.py |
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/systemhost.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/systemhost.py |
| index 01f986278676bec7385065fc31a453fd3acee160..ead1070ae56fde28f7470022f84467691f0c7cdf 100644 |
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/systemhost.py |
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/systemhost.py |
| @@ -29,6 +29,7 @@ |
| import os |
| import platform |
| import sys |
| +import time |
| from webkitpy.common.system import executive, filesystem, platforminfo, user, workspace |
| @@ -46,6 +47,7 @@ class SystemHost(object): |
| self.stdout = sys.stdout |
| self.stderr = sys.stderr |
| self.environ = os.environ |
| + self.time = time |
|
Dirk Pranke
2016/10/26 17:24:51
I'd provide a wrapper method for time.time() inste
jeffcarp
2016/10/26 18:40:44
Great, updated.
|
| def print_(self, *args, **kwargs): |
| sep = kwargs.get('sep', ' ') |