Add syntax checking of proposed firewall rules

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

diff --git a/app.sig b/app.sig
index d4c0a66..e169a44 100644 (file)
--- a/app.sig
+++ b/app.sig
@@ -7,9 +7,14 @@ sig
           | REJECTED
           | ADDED
 
-    type app = { id : int, name : string, rname : string, email : string,
+    val readTosBody : unit -> string
+    val readTosAgree : unit -> string
+    val readTosMinorAgree : unit -> string
+
+    type app = { id : int, name : string, rname : string, gname : string option, email : string,
                 forward : bool, uses : string, other : string,
                 passwd : string, status : status, applied : Init.C.timestamp,
+                ipaddr : string option,
                 confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
                 msg : string }