before TextIO.closeIn inf
end
- type disk = {uname : string,
+ fun getWebbwUser {user, last} =
+ let
+ val {vhosts, users, ...} = getWebbw last
+ in
+ case List.find (fn {user = u, ...} => u = user) users of
+ NONE => {total = 0, vhosts = []}
+ | SOME {hosts, size, ...} =>
+ {total = size, vhosts = List.filter (fn {host, ...} => List.exists (fn host' => host' = host) hosts) vhosts}
+ end
+
+
+ type disk = {uname : string,
kbs : int}
structure StringKey = struct