Method handle_notification

crates/opencode-mcp/src/client.rs:493–522

Handle a server notification received during request/response.

(&self, notif: JsonRpcNotification)

    /// Handle a server notification received during request/response.
    async fn handle_notification(&self, notif: JsonRpcNotification) {
        match notif.method.as_str() {
            "notifications/tools/list_changed" => {
                tracing::info!(
                    server = %self.server_name,
                    "MCP server tools changed, flagging for reload"
                );
                self.tools_changed.store(true, Ordering::SeqCst);
            }
            "notifications/resources/list_changed" => {
                tracing::debug!(
                    server = %self.server_name,
                    "MCP server resources changed (not yet handled)"
                );
            }
            "notifications/prompts/list_changed" => {
                tracing::debug!(
                    server = %self.server_name,
                    "MCP server prompts changed (not yet handled)"
                );
            }
            other => {
                tracing::debug!(
                    server = %self.server_name,
                    method = other,
                    "Unhandled MCP notification"
                );
            }
        }
    }

    fn is_progress_notification(notif: &JsonRpcNotification) -> bool {
        notif.method == "notifications/progress" || notif.method == "$/progress"