refactor(#1865): rename agent_server module to socket_server
Pure rename ahead of the agent+manager server consolidation: the per-agent socket dispatcher already hosts the shared dispatch and all lifecycle handlers, and will absorb the manager-only handlers next, so `agent_server` becomes a misnomer. No logic change — git mv plus a mechanical `agent_server` -> `socket_server` rename across refs.
This commit is contained in:
parent
b11360503a
commit
a053d33184
8 changed files with 14 additions and 14 deletions
|
|
@ -13,7 +13,6 @@
|
|||
//! surface beyond "this is where the modules live".
|
||||
|
||||
pub mod actions;
|
||||
pub mod agent_server;
|
||||
pub mod agent_sockets;
|
||||
pub mod approvals;
|
||||
pub mod audit_log;
|
||||
|
|
@ -52,5 +51,6 @@ pub mod reminder_scheduler;
|
|||
pub mod scheduled_prompts;
|
||||
pub mod scheduled_prompts_worker;
|
||||
pub mod server;
|
||||
pub mod socket_server;
|
||||
pub mod tool_groups;
|
||||
pub mod topology;
|
||||
|
|
|
|||
Loading…
Reference in a new issue