Run 'domain' initialization even with 'noDns' is selected.
authorAdam Chlipala <adamc@hcoop.net>
Thu, 20 Sep 2007 22:27:55 +0000 (22:27 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 20 Sep 2007 22:27:55 +0000 (22:27 +0000)
src/domain.sml

index b192236..ed26bcd 100644 (file)
@@ -584,9 +584,9 @@ val _ = Env.containerV_one "domain"
                                               (masterNode := SOME node;
                                                saveSoa ("master", #soa dns) node;
                                                saveNamed ("master", #soa dns, masterIp, slaveIps) node)
                                               (masterNode := SOME node;
                                                saveSoa ("master", #soa dns) node;
                                                saveNamed ("master", #soa dns, masterIp, slaveIps) node)
-                                            | _ => masterNode := NONE;
-                                          !befores dom
-                                      end
+                                            | _ => masterNode := NONE
+                                      end;
+                                  !befores dom
                               end,
                            fn () => !afters (!current))
 
                               end,
                            fn () => !afters (!current))