[bpt/portal.git] / pref.sml

structure Pref :> PREF =
struct

open Util Sql Init

fun hasDirectory usr =
    case C.oneOrNoRows (getDb ()) ($`SELECT * FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`) of
	NONE => false
      | _ => true

fun setDirectory usr =
    if hasDirectory usr then
	()
    else
	ignore (C.dml (getDb ()) ($`INSERT INTO DirectoryPref (usr) VALUES (^(C.intToSql usr))`))

fun unsetDirectory usr =
    ignore (C.dml (getDb ()) ($`DELETE FROM DirectoryPref WHERE usr = ^(C.intToSql usr)`))

end
Commit	Line	Data
27e48ace AC	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