Fix use of wrong username for Rmuser

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

diff --git a/src/main.sml b/src/main.sml
index 997713d..91ae29e 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,