release portal3 into production

[hcoop/portal.git] / support.sig

diff --git a/support.sig b/support.sig
index e67494f..c94edc1 100644 (file)
--- a/support.sig
+++ b/support.sig
@@ -6,7 +6,8 @@ sig
           | 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 }
 
@@ -19,9 +20,10 @@ sig
 
     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