1 structure Apt
= RequestH(struct
3 val adminGroup
= "server"
4 fun subject _
= "Apt package installation request"
8 fun body
{node
, mail
, data
= pkgs
} =
10 val pkgs
= String.tokens
Char.isSpace pkgs
11 val infos
= map (valOf
o (fn x
=> AptQuery
.query
{node
= node
, pkg
= x
})) pkgs
13 fun rightJustify (n
, s
) =
19 (Mail
.mwrite (mail
, " ");
27 (rightJustify (10, #name info
);
28 Mail
.mwrite (mail
, " ");
29 Mail
.mwrite (mail
, #descr info
);
30 Mail
.mwrite (mail
, "\n"))) infos