Remove Config.{dispatcher,defaultNode}

[hcoop/domtool2.git] / src / main.sml

diff --git a/src/main.sml b/src/main.sml
index be50982..1552791 100644 (file)
--- 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,