From 05323cbc31cd291e9708b034e9a8ac7dfebcd046 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Dec 2006 19:05:39 +0000
Subject: [PATCH] Fix use of wrong username for Rmuser

---
 src/main.sml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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,
-- 
2.20.1