pref.sml

   1 structure Pref :> PREF =
   2 struct
   3
   4 open Util Sql Init
   5
   6 fun hasDirectory usr =
   7     case C.oneOrNoRows (getDb ()) ($`SELECT * FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`) of
   8         NONE => false
   9       | _ => true
  10
  11 fun setDirectory usr =
  12     if hasDirectory usr then
  13         ()
  14     else
  15         ignore (C.dml (getDb ()) ($`INSERT INTO DirectoryPref (usr) VALUES (^(C.intToSql usr))`))
  16
  17 fun unsetDirectory usr =
  18     ignore (C.dml (getDb ()) ($`DELETE FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`))
  19
  20 end