% val you = Init.getUserId (); val yourname = Init.getUserName (); val youremail = yourname ^ "@hcoop.net"; @header [("title", ["Member preferences"])]; if $"cmd" = "mod" then val you_all = Init.getUser (); Init.modUser {you_all with paypal = (case $"paypal" of "" => NONE | s => SOME s), checkout = (case $"checkout" of "" => NONE | s => SOME s)}; if $"dir" = "on" then Pref.setDirectory you else Pref.unsetDirectory you end; if not (iff $"discuss" = "on" then Pref.subscribe ("hcoop-discuss", youremail) else Pref.unsubscribe ("hcoop-discuss", youremail)) then %>