╭ changed ────╮ │src/serve.zig│ ╰─────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────╮ │83 try err.print("serving web UI on http://{s}/\n", .{options.wui_listen});│ │84 try err.flush(); │ │85 │ │86 - web.run(io, &wui_server, &tasks, err); │ │86 + web.run(io, allocator, &wui_server, &tasks, err); │ │87 │ │88 if (options.tui) { │ │89 runTui(io, allocator, &tasks, err); │ ╰────────────────────────────────────────────────────────────────────────────────╯