Join script should rule out retired usernames

[bpt/portal.git] / stats.sig

diff --git a/stats.sig b/stats.sig
index 8bf823c..a8ca8d1 100644 (file)
--- a/stats.sig
+++ b/stats.sig
@@ -4,15 +4,19 @@ sig
                 hostname : string, (* Internet hostname *)
                 id : string}       (* Name of stats directory *)
 
-    val getWebbw : int -> int * (host * int) list * (string * host list * int) list
+    val getWebbw : int -> {total : int,
+                          vhosts: {host : host, size : int} list,
+                          users : {user : string, hosts : host list, size : int} list}
     (* Get web bandwidth usage stats.  The argument tells how many months ago
      * to look for the data.  The return gives the total b/w usage, a mapping from
      * vhosts to kilobytes, and a mapping from usernames to their vhosts and bandwidth
      * totals. *)
 
-    type disk = {uname : string,    (* UNIX username *)
-                blocks : int,      (* Number of disk blocks used *)
-                files : int}       (* Number of files used *)
+    val getWebbwUser : {user : string, last : int} -> {total : int,
+                                                      vhosts : {host : host, size : int} list}
+
+    type disk = {uname : string, (* UNIX username *)
+                kbs : int}      (* Number of kilobytes space used *)
 
     val getDiskUsage : unit -> disk list
     (* Get /home disk usage statistics, in descending blocks order. *)