| commit | 2f3a5033bfd124a2bf46ed6bc160e219742159c6 | [log] [tgz] |
|---|---|---|
| author | Benjamin Schubert <contact@benschubert.me> | Thu Oct 10 16:37:01 2019 +0100 |
| committer | Benjamin Schubert <contact@benschubert.me> | Thu Oct 10 17:31:34 2019 +0100 |
| tree | 0a6ea469f573afee000925119df16bc984f8bacf | |
| parent | e4c86c563aeab2f2a0a8cb8d29d1a4645c045254 [diff] |
_platform/platform.py: Cache result from 'get_host_os' 'get_host_os' is an expensive method and is called twice per element. Caching gives us some performance benefits.