Join script should rule out retired usernames

[bpt/portal.git] / request.sig

signature REQUEST_IN =
sig
    val table : string
    val adminGroup : string
    val subject : string -> string
    val body : Mail.session * string -> unit
    val template : string
    val descr : string
end

signature REQUEST_OUT =
sig
    datatype status =
	     NEW
	   | INSTALLED
	   | REJECTED

    type request = { id : int, usr : int, data : string, msg : string, status : status,
		     stamp : Init.C.timestamp, cstamp : Init.C.timestamp option }

    val statusFromInt : int -> status

    val add : int * string * string -> int
    val lookup : int -> request
    val modify : request -> unit
    val delete : int -> unit
    val list : unit -> (string * request) list
    val listOpen : unit -> (string * request) list

    val notifyNew : int -> bool
    val notifyMod : status * status * string * int -> bool
end