domtool-config: dump nodes, site domain, and certificate paths

diff --git a/src/main-config.sml b/src/main-config.sml
index 93eef2a..e8be17a 100644 (file)
--- a/src/main-config.sml
+++ b/src/main-config.sml
@@ -30,9 +30,17 @@ fun println x = (print x; print "\n")
 
 val _ =
     (case CommandLine.arguments () of 
-       ["-path", path] => (case path of
-                               "shared-root" => println Config.sharedRoot
-                             | "local-root" => println Config.localRoot
-                             | "install-prefix" => println Config.installPrefix
-                             | _ => print "Invalid path type\n")
+       ("-path" :: path) => (case path of
+                                 ["shared-root"] => println Config.sharedRoot
+                               | ["local-root"] => println Config.localRoot
+                               | ["install-prefix"] => println Config.installPrefix
+                               | ["cert", path] => (case path of 
+                                                        "ca" => println Config.caDir
+                                                      | "certs" => println Config.certDir
+                                                      | "keys" => println Config.keyDir
+                                                      | _ => println "Invalid cert path type")
+                               | _ => print "Invalid path type\n")
+      | ["-nodes"] => (app (fn (n, _) => (print n; print " ")) Config.nodeIps;
+                      print "\n")
+      | ["-domain"] => println Config.defaultDomain
       | _ => print "Invalid command-line arguments\n")