Join script should rule out retired usernames

[bpt/portal.git] / stats.sig

diff --git a/stats.sig b/stats.sig
index d0056be..a8ca8d1 100644 (file)
--- a/stats.sig
+++ b/stats.sig
@@ -12,9 +12,11 @@ sig
      * 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. *)