unregister_tool


Description:

public void unregister_tool (int request_id)

Unregister a tool request from monitoring.

Disconnects the request's callback methods from agent signals and removes it from the registry.

Parameters:

request_id

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