Save pending/closing time stamps for misc support issues

[hcoop/zz_old/portal.git] / support.sig

diff --git a/support.sig b/support.sig
index 9036954..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 }