(tool: string)
| 43 | const CONN = ConnectionName.make("main"); |
| 44 | |
| 45 | const addr = (tool: string): ToolAddress => ToolAddress.make(`tools.${INTEG}.org.${CONN}.${tool}`); |
| 46 | |
| 47 | // --------------------------------------------------------------------------- |
| 48 | // A plugin that registers an integration, produces per-connection tools via |