unregister_tool


Description:

public virtual void unregister_tool (int request_id)

Unregister a tool request from monitoring.

For agentic usage (Agent.Base): Disconnects request callbacks and removes from registry. For non-agentic usage: Default implementation does nothing (no-op).

Parameters:

request_id

The unique identifier for this request (auto-generated int)