Join script should rule out retired usernames

[bpt/portal.git] / stats.sig

diff --git a/stats.sig b/stats.sig
index cbca44b..a8ca8d1 100644 (file)
--- a/stats.sig
+++ b/stats.sig
@@ -12,6 +12,9 @@ sig
      * vhosts to kilobytes, and a mapping from usernames to their vhosts and bandwidth
      * totals. *)
 
+    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 *)