From f8e7de3e6b0f0f92edb07fc87dacb4c499849e87 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Thu, 24 Apr 2014 01:39:26 -0400 Subject: [PATCH] domtool-config: dump nodes, site domain, and certificate paths --- src/main-config.sml | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) 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") -- 2.20.1