Join script should rule out retired usernames

[bpt/portal.git] / quota.sml

diff --git a/quota.sml b/quota.sml
index 08a84d0..810efca 100644 (file)
--- a/quota.sml
+++ b/quota.sml
@@ -6,7 +6,7 @@ structure Quota = Request(struct
                          val descr = "Quota request"
                                      
                          fun body (mail, data) =
-                             (Mail.mwrite (mail, " Request: ");
+                             (Mail.mwrite (mail, "Request: ");
                               Mail.mwrite (mail, data);
                               Mail.mwrite (mail, "\n"))
                          end)