| CLOSED
type category = { id : int, grp : int, name : string, descr : string }
- type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status, stamp : Init.C.timestamp }
+ type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status,
+ stamp : Init.C.timestamp, pstamp : Init.C.timestamp option, cstamp : Init.C.timestamp option }
type post = { id : int, usr : int, iss : int, body : string, stamp : Init.C.timestamp }
type subscription = { usr : int, cat : int }
val lookupIssue : int -> issue
val listIssues : unit -> issue list
- val listCategoryIssues : int -> issue list
- val listOpenCategoryIssues : int * int -> issue list
- val listOpenCategoryIssuesAdmin : int -> issue list
+ val listOpenIssues : int -> (string * issue) list
+ val listCategoryIssues : int -> (string * issue) list
+ val listOpenCategoryIssues : int * int -> (string * issue) list
+ val listOpenCategoryIssuesAdmin : int -> (string * issue) list
val addIssue : int * int * string * bool * status -> int
val modIssue : issue -> unit
val deleteIssue : int -> unit