HCoop
/
hcoop
/
portal.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Join script should rule out retired usernames
[hcoop/portal.git]
/
domain.sml
1
structure
Domain
=
Request
(
struct
2
val
table
=
"Domain"
3
val
adminGroup
=
"server"
4
fun
subject dom
=
"Domain set-up request: "
^ dom
5
val
template
=
"domain"
6
val
descr
=
"domain"
7
fun
body
(
mail
,
dom
) =
8
(
Mail
.
mwrite
(
mail
,
dom
);
9
Mail
.
mwrite
(
mail
,
"
\n
"
))
10
end
)