Join script should rule out retired usernames

[hcoop/portal.git] / quotas.sml

diff --git a/quotas.sml b/quotas.sml
index 2d38b01..84515b5 100644 (file)
--- a/quotas.sml
+++ b/quotas.sml
@@ -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