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

Save parsed tsan files with .txt extension

Browse Source 
When the parse tsan files have text extension they can be viewed
directly in the GitLab web UI without downloading them locally.
This commit is contained in:
Ondřej Surý
2022-03-14 19:01:43 +01:00
parent 01fcc07a6b
commit 80582073a5
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)
if not os.path.isdir(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)
if not os.path.isfile(FNAME):
with open(FNAME, "w", encoding='utf-8') as w: