X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b3f18c3576e81cfd6c49d62ad2b69986e17d82c4..201b83c73c5a4e09dcf4c3f2f9b94ded360c78c6:/src/main.sml?ds=sidebyside

diff --git a/src/main.sml b/src/main.sml
index be50982..1552791 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -208,7 +208,7 @@ fun eval G evs fname =
       | (G, NONE) => (G, evs)
 
 val dispatcher =
-    Config.dispatcher ^ ":" ^ Int.toString Config.dispatcherPort
+    Domain.nodeIp Config.dispatcherName ^ ":" ^ Int.toString Config.dispatcherPort
 
 val self =
     "localhost:" ^ Int.toString Config.slavePort
@@ -1091,7 +1091,7 @@ fun regenerateEither tc checker context =
 	val ok = ref true
  
 	fun contactNode (node, ip) =
-	    if node = Config.defaultNode then
+	    if node = Config.dispatcherName then
 		Domain.resetLocal ()
 	    else let
 		    val bio = OpenSSL.connect true (context,