╭ changed ────╮ │src/serve.zig│ ╰─────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────╮ │ 8 const serve_ssh = @import("./serve_ssh.zig"); │ │ 9 const serve_http = @import("./serve_http.zig"); │ │10 const evt = @import("./event.zig"); │ │11 -const notify = @import("./notify.zig"); │ │11 │ │12 pub const Options = struct { │ │13 http_listen: ?[]const u8 = "127.0.0.1:8080",│ ╰────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────────────────────╮ │81 }; │ │82 defer admin_repo.deinit(io, allocator); │ │83 } │ │85 - │ │86 - // the repos the notify worker has yet to look at │ │87 - var dirty_repos: notify.DirtyRepos = .{ .allocator = allocator };│ │88 - defer dirty_repos.deinit(); │ │84 │ │85 // create http listener │ │86 │ ╰─────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │114 .host_key = try serve_ssh_protocol.HostKey.loadOrGenerate(io, allocator, data_dir_path),│ │115 .session_handler = .{ │ │116 .admin_repo_path = admin_repo_path, │ │122 - .server = .{ .users_dir = users_dir, .dirty_repos = &dirty_repos }, │ │117 + .server = .{ .users_dir = users_dir, .admin_repo_path = admin_repo_path }, │ │118 .wui_port = wui_server.socket.address.getPort(), │ │119 .git_http_port = git_http_port, │ │120 .git_ssh_port = ssh_port, │ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │129 │ │130 var tasks: std.Io.Group = .init; │ │131 defer tasks.cancel(io); │ │137 - │ │138 - tasks.concurrent(io, notify.run, .{ &dirty_repos, io, allocator, users_dir, admin_repo_path }) catch |spawn_err| {│ │139 - serve_common.logError(io, err, "notify worker spawn failed: {s}\n", .{@errorName(spawn_err)}); │ │140 - }; │ │132 │ │133 // run listeners, printing the ports actually bound │ │134 │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────╮ │152 runWebListener(io, allocator, &wui_server, &tasks, .{ .server = .{│ │153 .admin_repo_path = admin_repo_path, │ │154 .users_dir = users_dir, │ │164 - .dirty_repos = &dirty_repos, │ │155 .session_store = session_store, │ │156 .git_http_port = git_http_port, │ │157 .git_ssh_port = git_ssh_port, │ ╰───────────────────────────────────────────────────────────────────────────╯