Added filename to log (#399)

microsoft · Jul 21, 2023 · 5bb07e4 · 5bb07e4
1 parent dea70fc
commit 5bb07e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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)