From 5bb07e48fa7513b18fa75251165645e702388f18 Mon Sep 17 00:00:00 2001 From: Jon McLean <4429525+jonmclean@users.noreply.github.com> Date: Fri, 21 Jul 2023 11:34:19 -0700 Subject: [PATCH] Added filename to log (#399) --- python/apps/in-mem-dynamic.py | 1 + python/apps/in-mem-static.py | 1 + 2 files changed, 2 insertions(+) diff --git a/python/apps/in-mem-dynamic.py b/python/apps/in-mem-dynamic.py index 979306de6..83e65b4fc 100644 --- a/python/apps/in-mem-dynamic.py +++ b/python/apps/in-mem-dynamic.py @@ -148,6 +148,7 @@ def insert_and_search( if args.json_timings_output is not None: import json + timings['log_file'] = args.json_timings_output with open(args.json_timings_output, "w") as f: json.dump(timings, f) diff --git a/python/apps/in-mem-static.py b/python/apps/in-mem-static.py index 7dfc488f7..9fb9a2cce 100644 --- a/python/apps/in-mem-static.py +++ b/python/apps/in-mem-static.py @@ -144,5 +144,6 @@ def build_and_search( if args.json_timings_output is not None: import json + timings['log_file'] = args.json_timings_output with open(args.json_timings_output, "w") as f: json.dump(timings, f)