Function main

tools/python/maps_generator/update_generation_order.py:29–40

()

def main():
    args = get_args()
    with ThreadPool() as pool:
        order = pool.map(
            process_log,
            (log for log in logs_reader.LogsReader(args.logs) if log.is_mwm_log),
        )

        order.sort(key=lambda v: v[1], reverse=True)
        with open(args.output, "w") as out:
            out.write("# Mwm name\tGeneration time\n")
            out.writelines("{}\t{}\n".format(*line) for line in order)


if __name__ == "__main__":