diff options
| author | Yoshiya Hinosawa <stibium121@gmail.com> | 2019-02-12 02:57:26 +0900 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2019-02-11 12:57:26 -0500 |
| commit | d26655371b796cf5dad762d1b7154c25251cb41d (patch) | |
| tree | 756f7710b86d2678fbdc2434ae1630741c19edc6 /tools/util.py | |
| parent | 90c7af27d7959e94a25f635e21b8d77cb347e135 (diff) | |
fix: improve formatting (#1732)
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/util.py b/tools/util.py index ca18faf54..8ab82e2d3 100644 --- a/tools/util.py +++ b/tools/util.py @@ -383,6 +383,7 @@ def parse_wrk_output(output): def platform(): return {"linux2": "linux", "darwin": "mac", "win32": "win"}[sys.platform] + def mkdtemp(): # On Windows, set the base directory that mkdtemp() uses explicitly. If not, # it'll use the short (8.3) path to the temp dir, which triggers the error |