value-leios-nomadperf (fix)

fmaste · fmaste · commit ac3fd37708a4 · 2026-04-27T02:17:16.000Z
diff --git a/nix/workbench/service/generator.nix b/nix/workbench/service/generator.nix
@@ -232,9 +232,12 @@ __toJSON
 #                )
 #                profile.composition.n_pool_hosts
 #              )
-            { targets =
-                { addr = "__addr_51__";
-                  port = "__port_51__";
+            { explorer =
+                { targets =
+                    { addr = "__addr_51__";
+                      port = "__port_51__";
+                    }
+                  ;
                 }
               ;
             }

Original file line number	Diff line number	Diff line change
`@@ -232,9 +232,12 @@ __toJSON`
`232`	`232`	`# )`
`233`	`233`	`# profile.composition.n_pool_hosts`
`234`	`234`	`# )`
`235`		`- { targets =`
`236`		`- { addr = "__addr_51__";`
`237`		`- port = "__port_51__";`
	`235`	`+ { explorer =`
	`236`	`+ { targets =`
	`237`	`+ { addr = "__addr_51__";`
	`238`	`+ port = "__port_51__";`
	`239`	`+ }`
	`240`	`+ ;`
`238`	`241`	`}`
`239`	`242`	`;`
`240`	`243`	`}`