X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8c57a89d75cc1d4fd050bd3767f9c881b1766c4a..e1b99e23f8d30efc7842ee006e0ff3ef0347b7df:/src/main-client.sml

diff --git a/src/main-client.sml b/src/main-client.sml
index 29db1b4..f0a6f69 100644
--- a/src/main-client.sml
+++ b/src/main-client.sml
@@ -27,13 +27,18 @@ fun domtoolRoot () =
 			     file = "domtool"}
     end
 
-val _ =
+val (doit, args) =
     case CommandLine.arguments () of
+	"-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)), args)
+      | args => (Main.request, args)
+
+val _ =
+    case args of
 	[fname] =>
 	if Posix.FileSys.access (fname, []) then
-	    Main.request fname
+	    doit fname
 	else
-	    Main.request (OS.Path.joinDirFile {dir = domtoolRoot (),
-					       file = fname})
+	    doit (OS.Path.joinDirFile {dir = domtoolRoot (),
+				       file = fname})
       | [] => Main.requestDir (domtoolRoot ())
       | _ => print "Invalid command-line arguments\n"