(* Driver for configuration requests *)
+val () = Domain.declareClient ()
+
fun uid () =
case Posix.ProcEnv.getenv "DOMTOOL_USER" of
NONE => Posix.ProcEnv.getuid ()
file = ".domtool"}
end
-val (doit, doitDir, args) =
- case CommandLine.arguments () of
- "-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)),
- Main.checkDir,
- args)
- | args => (Main.request,
- Main.requestDir,
- args)
+fun libnameOpt () =
+ let
+ val libname = OS.Path.joinDirFile {dir = domtoolRoot (),
+ file = "lib.dtl"}
+ in
+ if Posix.FileSys.access (libname, []) then
+ SOME libname
+ else
+ NONE
+ end
+
+val (tc, fake, args) = foldl (fn (arg, (tc, fake, args)) =>
+ case arg of
+ "-tc" => (true, fake, args)
+ | "-fake" => (tc, true, args)
+ | _ => (tc, fake, arg :: args))
+ (false, false, []) (CommandLine.arguments ())
+
+val args = rev args
+
+val (doit, doitDir) =
+ if tc then
+ (fn fname =>
+ let
+ val _ : string = Main.setupUser ()
+ val () = if fake then
+ Domain.fakePrivileges ()
+ else
+ ()
+ val env = Main.basis ()
+ val env =
+ case libnameOpt () of
+ NONE => env
+ | SOME libname => #1 (Main.check env libname)
+ in
+ ignore (Main.check env fname)
+ end,
+ Main.checkDir)
+ else
+ (fn fname => Main.request (fname, libnameOpt ()),
+ Main.requestDir)
val _ =
case args of