Join script should rule out retired usernames
[bpt/portal.git] / quota.sml
CommitLineData
6704531c
AC
1structure Quota = Request(struct
2 val table = "Quota"
3 val adminGroup = "server"
4 fun subject _ = "Disk quota change request"
5 val template = "quota"
6 val descr = "Quota request"
7
8 fun body (mail, data) =
23d81629 9 (Mail.mwrite (mail, "Request: ");
6704531c
AC
10 Mail.mwrite (mail, data);
11 Mail.mwrite (mail, "\n"))
12 end)