X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/5da9f4a91ea8e648812be0ca1afaeace2ba0423c..f3a41f3b49333bf83355b911d5a6b7a1a64fd634:/request.sig diff --git a/request.sig b/request.sig index 9d9a272..fe4800e 100644 --- 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