(event: string, ...args: unknown[])
| 205 | // ── Private ── |
| 206 | |
| 207 | private emit(event: string, ...args: unknown[]): void { |
| 208 | this.listeners.get(event)?.forEach(handler => { |
| 209 | try { |
| 210 | handler(...args) |
| 211 | } catch (err) { |
| 212 | this.deps.logger.error(`Error in ${event} handler:`, err) |
| 213 | } |
| 214 | }) |
| 215 | } |
| 216 | |
| 217 | private async refreshTools( |
| 218 | name: string, |