diff options
| author | Lars Wirzenius <liw@liw.fi> | 2024-01-11 19:51:27 +0200 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2024-01-11 19:51:27 +0200 |
| commit | c4abd42546e645ed10b8efea4c2839fe0ecd83d1 (patch) | |
| tree | 55fd6382d57e2c6d137f8b807d08c8584c14fe70 | |
| parent | 0fdffd176a9d71b8c1593db2986958251f3d2779 (diff) | |
| download | wumpus-hunter-c4abd42546e645ed10b8efea4c2839fe0ecd83d1.tar.gz | |
fix: run log file suffix should be html
Signed-off-by: Lars Wirzenius <liw@liw.fi>
| -rwxr-xr-x | wumpus-hunter | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wumpus-hunter b/wumpus-hunter index 50b1f05..91e3578 100755 --- a/wumpus-hunter +++ b/wumpus-hunter @@ -552,7 +552,7 @@ def run_log_name(dirname, commit, succeeded): suffix = "success" else: suffix = "fail" - return os.path.join(commit_dir, f"log-{timestamp}.{suffix}.txt") + return os.path.join(commit_dir, f"log-{timestamp}.{suffix}.html") def git_commit_date(run_log, dirname, commit): |