X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/fc195b3e9425f6e542cc3b8d39fe7753bdb7f1b0..c23af4454e79f11677c808b3e05e9d14061f71b1:/src/main-config.sml diff --git a/src/main-config.sml b/src/main-config.sml index a3fc686..9443501 100644 --- a/src/main-config.sml +++ b/src/main-config.sml @@ -44,7 +44,7 @@ val _ = | _ => die "Invalid cert path type") | ["vmaildb"] => println Config.Vmail.userDatabase | _ => die "Invalid path type") - | ["-nodes"] => (app (fn (n, _) => (print n; print " ")) Config.nodeIps; + | ["-nodes"] => (app (fn (n, _, _) => (print n; print " ")) Config.nodeIps; print "\n") | ["-domain"] => println Config.defaultDomain | _ => die "Invalid command-line arguments")