cvsimport

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

diff --git a/request.sig b/request.sig
index 9d9a272..fe4800e 100644 (file)
--- a/request.sig
+++ b/request.sig
@@ -15,7 +15,8 @@ sig
           | INSTALLED
           | REJECTED
 
-    type request = { id : int, usr : int, data : string, msg : string, status : status, stamp : Init.C.timestamp }
+    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