Change granter.sh to give permissions to user specified on command line

[hcoop/zz_old/portal.git] / stats.sml

diff --git a/stats.sml b/stats.sml
index 620b71e..db719b3 100644 (file)
--- a/stats.sml
+++ b/stats.sml
@@ -99,7 +99,19 @@ struct
                        NONE => done ()
                      | SOME s =>
                        case String.tokens Char.isSpace s of
-                           [uname, dash, blocks, bsoft, bhard, files, fsoft, fhard] =>
+                           [uname, "--", blocks, bsoft, bhard, files, fsoft, fhard] =>
+                           readData ({uname = uname,
+                                      blocks = valOf (Int.fromString blocks),
+                                      files = valOf (Int.fromString files)} :: acc)
+                         | [uname, "+-", blocks, bsoft, bhard, _, files, fsoft, fhard] =>
+                           readData ({uname = uname,
+                                      blocks = valOf (Int.fromString blocks),
+                                      files = valOf (Int.fromString files)} :: acc)
+                         | [uname, "-+", blocks, bsoft, bhard, files, fsoft, fhard, _] =>
+                           readData ({uname = uname,
+                                      blocks = valOf (Int.fromString blocks),
+                                      files = valOf (Int.fromString files)} :: acc)
+                         | [uname, "++", blocks, bsoft, bhard, _, files, fsoft, fhard, _] =>
                            readData ({uname = uname,
                                       blocks = valOf (Int.fromString blocks),
                                       files = valOf (Int.fromString files)} :: acc)