╭──────────╮ │← previous│ ╰──────────╯ ╭ changed ──╮ │src/web.zig│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │67 }; │ │68 │ │69 handleRequest(io, &request, allocator, host) catch |request_err| { │ │70 - try err.print("web ui request failed: {s}\n", .{@errorName(request_err)}); │ │71 - try err.flush(); │ │70 + serve_common.logError(io, err, "web ui request failed: {s}\n", .{@errorName(request_err)});│ │71 // best-effort 500. if handleRequest already started writing a │ │72 // response before throwing, this respond may fail too, but at │ │73 // that point the connection is unrecoverable anyway. │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────╯