diff options
| author | Maksim Andrianov <maksimandrianov1@gmail.com> | 2019-06-06 13:32:52 +0300 |
|---|---|---|
| committer | gmoryes <gmoryes@gmail.com> | 2019-06-06 15:08:25 +0300 |
| commit | f619ce17512eec20545fd6d18483001b0f7978da (patch) | |
| tree | 694981f6824bcde3e52e3dd44250f7f0b9749b8b /tools | |
| parent | e417e9e34d3869c21d91bae299ca894957c7ac76 (diff) | |
Review fixes.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/python/maps_generator/generator/statistics.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/python/maps_generator/generator/statistics.py b/tools/python/maps_generator/generator/statistics.py index 00438c76f4..eb0fbc3ce1 100644 --- a/tools/python/maps_generator/generator/statistics.py +++ b/tools/python/maps_generator/generator/statistics.py @@ -106,9 +106,7 @@ def parse_time(time_str): return datetime.timedelta(**time_params) -def get_stages_info(log_path, ignored_stages=None): - if ignored_stages is None: - ignored_stages = set() +def get_stages_info(log_path, ignored_stages=frozenset()): result = defaultdict(lambda: defaultdict(dict)) for file in os.listdir(log_path): path = os.path.join(log_path, file) |