X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/fc195b3e9425f6e542cc3b8d39fe7753bdb7f1b0..c23af4454e79f11677c808b3e05e9d14061f71b1:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 3a31c34..dfe0bd5 100644 --- a/src/main.sml +++ b/src/main.sml @@ -1110,7 +1110,7 @@ fun regenerateEither tc checker context = val ok = ref true - fun contactNode (node, ip) = + fun contactNode (node, ip, ipv6) = if node = Config.dispatcherName then Domain.resetLocal () else let