domtool-doc

[hcoop/domtool2.git] / src / main.sml

diff --git a/src/main.sml b/src/main.sml
index 997713d..7457545 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -661,12 +661,12 @@ fun service () =
                                     handle OpenSSL.OpenSSL _ => ();
                                     loop ())
 
-                             | MsgRmuser user =>
+                             | MsgRmuser user' =>
                                if Acl.query {user = user, class = "priv", value = "all"} then
-                                   ((rmuser user;
+                                   ((rmuser user';
                                      Acl.write Config.aclFile;
                                      Msg.send (bio, MsgOk);
-                                     print ("Removed user " ^ user ^ ".\n"))
+                                     print ("Removed user " ^ user' ^ ".\n"))
                                     handle OpenSSL.OpenSSL s =>
                                            (print "OpenSSL error\n";
                                             Msg.send (bio,
@@ -766,7 +766,7 @@ fun slave () =
        OpenSSL.shutdown sock
     end
 
-fun autodocBasis outdir =
+fun listBasis () =
     let
        val dir = Posix.FileSys.opendir Config.libRoot
 
@@ -781,10 +781,11 @@ fun autodocBasis outdir =
                          :: files)
                else
                    loop files
-
-       val files = loop []
     in
-       Autodoc.autodoc {outdir = outdir, infiles = files}
+       loop []
     end
 
+fun autodocBasis outdir =
+    Autodoc.autodoc {outdir = outdir, infiles = listBasis ()}
+
 end