Change granter.sh to give permissions to user specified on command line

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

diff --git a/init.sig b/init.sig
index 9af4bc6..2b1a936 100644 (file)
--- a/init.sig
+++ b/init.sig
@@ -1,6 +1,7 @@
 signature INIT = sig
     structure C : SQL_CLIENT
 
+    val scratchDir : string
     val urlPrefix : string
     val boardEmail : string
 
@@ -10,12 +11,15 @@ signature INIT = sig
     val emailSuffix : string
 
     type user = {id : int, name : string, rname : string, bal : int, joined : C.timestamp,
-                app : int}
+                app : int, shares : int}
 
     val rowError : string * C.value list -> 'a
 
     val mkUserRow : C.value list -> user
 
+    (* Direct access to database connections *)
+    val conn : unit -> C.conn
+
     (* Open or close a session, wrapped in a transaction *)
     val init : unit -> unit
     val done : unit -> unit
@@ -26,10 +30,11 @@ signature INIT = sig
 
     val lookupUser : int -> user
     val listUsers : unit -> user list
-    val addUser : string * string * int * int -> int
-    (* Pass name, real name, and balance ID *)
+    val addUser : string * string * int * int * int -> int
+    (* Pass name, real name, balance ID, and share count *)
     val modUser : user -> unit
     val deleteUser : int -> string
+    val byPledge : unit -> user list
 
     val validUsername : string -> bool
     val userNameToId : string -> int option