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