X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/6704531cef294b64abf3ccef2817dc83be93af23..9da4f9396351fe3a5877fc3a782d97edc5607ca3:/quotas.sml diff --git a/quotas.sml b/quotas.sml index 2d38b01..da39509 100644 --- a/quotas.sml +++ b/quotas.sml @@ -2,7 +2,7 @@ structure Quotas :> QUOTAS = struct fun getQuotas uname = let - val proc = Unix.execute ("/bin/sh", ["-c", "/usr/bin/vos listvol -long deleuze"]) + val proc = Unix.execute ("/bin/sh", ["-c", "/usr/bin/vos listvol -long fritz"]) val inf = Unix.textInstreamOf proc fun eatUntilBlankLine () = @@ -43,7 +43,7 @@ struct else (eatUntilBlankLine (); loop acc) - | _ => acc + | _ => loop acc val _ = TextIO.inputLine inf in @@ -73,7 +73,7 @@ struct in case kind of "user" => "/afs/hcoop.net/user/" ^ goofy uname - | "db" => "/afs/hcoop.net/.databases/" ^ goofy uname + | "db" => "/afs/hcoop.net/common/.databases/" ^ goofy uname | "mail" => "/afs/hcoop.net/user/" ^ goofy uname ^ "/Maildir" | _ => raise Fail ("Don't know how to find mount point for volume " ^ vol) end