X-Git-Url: http://git.hcoop.net/jyaworski/domtool2.git/blobdiff_plain/e140629ff492a6440c7b0d892d27ed443a2f9cd9..d63aa5e7b08630cc17a606e85e35acc5bd0041ee:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 6cb3ef1..fe93791 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,