Add report on who hasn't migrated yet

[hcoop/portal.git] / init.sml

diff --git a/init.sml b/init.sml
index 22b27f6..97128a5 100644 (file)
--- a/init.sml
+++ b/init.sml
@@ -101,6 +101,11 @@ fun listUsers () =
                                  FROM WebUser
                                  ORDER BY name`)
 
+fun listActiveUsers () =
+    C.map (getDb ()) mkUserRow ($`SELECT id, name, rname, bal, joined, app, shares
+                                 FROM WebUserActive
+                                 ORDER BY name`)
+
 fun nextSeq (db, seq) =
     case C.oneRow db ($`SELECT nextval('^(seq)')`) of
        [id] => C.intFromSql id
@@ -233,4 +238,10 @@ fun tokensForked () =
                 OS.Process.exit OS.Process.success)
       | _ => ignore (OS.Process.system "/usr/bin/tokens >/tmp/tokens.parent")
 
+fun unmigratedUsers () =
+    List.filter (fn user =>
+                   (ignore (Posix.SysDB.getpwnam (#name user));
+                    false)
+                   handle OS.SysErr _ => true) (listActiveUsers ())
+
 end