Commit | Line | Data |
---|---|---|
18eeb749 AC |
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 | ||
a75ed94b AC |
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 } | |
18eeb749 AC |
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 |