- 新增 WSPrefetchAdapter 实现 storage.PrefetchPusher 接口 - 当 agentID 为空时使用 WSBus.Broadcast(支持多 Agent) - 在 NewAPI 中通过 SetPrefetchPusher 注入 - WebSocket prefetch.push 事件在 CO_OCCURS 权重 > 0.6 时触发 |
||
|---|---|---|
| .. | ||
| middleware | ||
| routes | ||
| server.go | ||
- 新增 WSPrefetchAdapter 实现 storage.PrefetchPusher 接口 - 当 agentID 为空时使用 WSBus.Broadcast(支持多 Agent) - 在 NewAPI 中通过 SetPrefetchPusher 注入 - WebSocket prefetch.push 事件在 CO_OCCURS 权重 > 0.6 时触发 |
||
|---|---|---|
| .. | ||
| middleware | ||
| routes | ||
| server.go | ||