From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Dec 2006 19:05:39 +0000 (+0000)
Subject: Fix use of wrong username for Rmuser
X-Git-Tag: release_2010-11-19~289
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/05323cbc31cd291e9708b034e9a8ac7dfebcd046?hp=f208fe7eb343486d3a464e0813d1cdce19b1ac5f

Fix use of wrong username for Rmuser
---

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