From b2293570ee621fcb91f62b4effde0fe9b9c32cbd Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Tue, 6 May 2014 19:20:29 -0400 Subject: [PATCH] domtool-config: print errors on stderr, return failure code, export vmaildb --- src/main-config.sml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/main-config.sml b/src/main-config.sml index 8aacdb0..a3fc686 100644 --- a/src/main-config.sml +++ b/src/main-config.sml @@ -27,6 +27,8 @@ *) fun println x = (print x; print "\n") +fun printerr x = (TextIO.output (TextIO.stdErr, x); TextIO.flushOut TextIO.stdErr) +fun die reason = (printerr reason; printerr "\n"; OS.Process.exit OS.Process.failure) val _ = (case CommandLine.arguments () of @@ -39,9 +41,10 @@ val _ = | "certs" => println Config.certDir | "keys" => println Config.keyDir | "truststore" => println Config.trustStore - | _ => println "Invalid cert path type") - | _ => print "Invalid path type\n") + | _ => die "Invalid cert path type") + | ["vmaildb"] => println Config.Vmail.userDatabase + | _ => die "Invalid path type") | ["-nodes"] => (app (fn (n, _) => (print n; print " ")) Config.nodeIps; print "\n") | ["-domain"] => println Config.defaultDomain - | _ => print "Invalid command-line arguments\n") + | _ => die "Invalid command-line arguments") -- 2.20.1