fix run log filename suffix

We're about to make HTML logs, to .html is the right suffix, not .txt.

Also drop a commented-out log message.

Signed-off-by: Lars Wirzenius <liw@liw.fi>
This commit is contained in:
Lars Wirzenius
2024-01-15 14:36:02 +02:00
parent aafb251254
commit 8be0bbd59d
+1 -2
View File
@@ -86,12 +86,11 @@ fn fallible_main_inner(
logfile.writeln(&format!("run directory {}", run_dir.display()))?;
let src = run_dir.join("src");
let run_log = run_dir.join("log.txt");
let run_log = run_dir.join("log.html");
let run_info_file = run_dir.join("run.yaml");
let profile = Profile::load().map_err(NativeError::LoadProfile)?;
let storage = profile.storage.path();
// logfile.write(format!("profile: {:#?}\n", profile))?;
let req = read_request()?;
logfile.writeln(&format!("request: {:#?}", req))?;