val usr = #usr mem
val grp = #grp mem
in
- if userInGroupNum (usr, grp) then
- ()
- else
- ignore (C.dml (getDb ()) ($`INSERT INTO Membership (grp, usr)
- VALUES (^(C.intToSql grp), ^(C.intToSql usr))`))
+ case C.oneOrNoRows (getDb ()) ($`SELECT * FROM Membership WHERE grp = ^(C.intToSql grp) AND usr = ^(C.intToSql usr)`) of
+ NONE => ignore (C.dml (getDb ()) ($`INSERT INTO Membership (grp, usr)
+ VALUES (^(C.intToSql grp), ^(C.intToSql usr))`))
+ | SOME _ => ()
end
fun addToGroups (usr, grps) =