From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Thu, 24 Apr 2014 05:39:26 +0000 (-0400)
Subject: domtool-config: dump nodes, site domain, and certificate paths
X-Git-Tag: release_20140428~15
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/f8e7de3e6b0f0f92edb07fc87dacb4c499849e87?hp=2c4e2cf316247e988b50b148a40d7c2ac7dc482d

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
--- 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")