Update APT requests to take multiple servers into consideration
[bpt/portal.git] / requestH.sig
CommitLineData
18eeb749
AC
1signature REQUESTH_IN =
2sig
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
9end
10
11signature REQUESTH_OUT =
12sig
13 datatype status =
14 NEW
15 | INSTALLED
16 | REJECTED
17
18 type request = { id : int, usr : int, node : int, data : string, msg : string, status : status, stamp : Init.C.timestamp }
19
20 val statusFromInt : int -> status
21
22 val add : {usr : int, node : int, data : string, msg : string} -> int
23 val lookup : int -> request
24 val modify : request -> unit
25 val delete : int -> unit
26 val list : unit -> (string * request) list
27 val listOpen : unit -> (string * request) list
28
29 val notifyNew : int -> bool
30 val notifyMod : {old : status, new : status, changer : string, req : int} -> bool
31end