Skip to content

Commit

Permalink
Fix gatherstats for duplicated paths (#231)
Browse files Browse the repository at this point in the history
* Fix gatherstats for duplicated paths

* Changelog

---------

Co-authored-by: David Schneider <[email protected]>
  • Loading branch information
davidscn and David Schneider authored Mar 3, 2025
1 parent a5565c6 commit 8356d22
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions changelog-entries/231.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
- Fixed wrong path joining in `gatherstats.py`.
2 changes: 1 addition & 1 deletion tools/mapping-tester/gatherstats.py
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,7 @@ def mappingStats(dir):

statFile = statFiles[0]
assert os.path.exists(statFile)
with open(os.path.join(dir, statFile), "r") as jsonfile:
with open(statFile, "r") as jsonfile:
return dict(json.load(jsonfile))


Expand Down

0 comments on commit 8356d22

Please sign in to comment.