8023de7b |
1 | signature REQUESTH_IN = |
2 | sig |
3 | val table : string |
4 | val adminGroup : string |
5 | val subject : string -> string |
6 | val body : {node : int, mail : Mail.session, data : string} -> unit |
7 | val template : string |
8 | val descr : string |
9 | end |
10 | |
11 | signature REQUESTH_OUT = |
12 | sig |
13 | datatype status = |
14 | NEW |
15 | | INSTALLED |
16 | | REJECTED |
17 | |
cac002c5 |
18 | type request = { id : int, usr : int, node : int, data : string, msg : string, status : status, |
19 | stamp : Init.C.timestamp, cstamp : Init.C.timestamp option } |
8023de7b |
20 | |
21 | val statusFromInt : int -> status |
22 | |
23 | val add : {usr : int, node : int, data : string, msg : string} -> int |
24 | val lookup : int -> request |
25 | val modify : request -> unit |
26 | val delete : int -> unit |
27 | val list : unit -> (string * request) list |
28 | val listOpen : unit -> (string * request) list |
29 | |
30 | val notifyNew : int -> bool |
31 | val notifyMod : {old : status, new : status, changer : string, req : int} -> bool |
32 | end |