ComputerSurge/bind9
3
0
Fork 0
Code Pull Requests 1 Activity

Merge branch 'ondrej-save-tsan-files-with-txt-extension' into 'main'

Browse Source 
Save parsed tsan files with .txt extension

See merge request isc-projects/bind9!6019
This commit is contained in:
Ondřej Surý
2022-03-23 19:31:02 +00:00
parent 01fcc07a6b 80582073a5
commit 4a44e9dd36
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
util/parse_tsan.py
View File

@@ -86,7 +86,7 @@ with open(sys.argv[1], "r", encoding='utf-8') as f:
DNAME = os.path.join(OUT, DNAME) DNAME = os.path.join(OUT, DNAME)
if not os.path.isdir(DNAME): if not os.path.isdir(DNAME):
os.mkdir(DNAME) os.mkdir(DNAME)
FNAME = sha256(S.block.encode('utf-8')).hexdigest() + ".tsan" FNAME = sha256(S.block.encode('utf-8')).hexdigest() + ".txt"
FNAME = os.path.join(DNAME, FNAME) FNAME = os.path.join(DNAME, FNAME)
if not os.path.isfile(FNAME): if not os.path.isfile(FNAME):
with open(FNAME, "w", encoding='utf-8') as w: with open(FNAME, "w", encoding='utf-8') as w: