pub fn deinit(ws: *WebServer) void
pub fn deinit(ws: *WebServer) void { const graph = ws.graph; const io = graph.io; if (ws.fuzz) |*f| f.deinit(); ws.releaseConfigured(); if (ws.serve_task) |t| { if (ws.tcp_server) |*s| s.stream.close(io); t.await(); } if (ws.tcp_server) |*s| s.deinit(); }