X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/25ee302adfe4d5d6a331ec5fb9aae2b7550ea843..c23af4454e79f11677c808b3e05e9d14061f71b1:/src/main-config.sml

diff --git a/src/main-config.sml b/src/main-config.sml
index 8aacdb0..9443501 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")
-      | ["-nodes"] => (app (fn (n, _) => (print n; print " ")) Config.nodeIps;
+						       | _ => 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")