Mercurial > urweb
view demo/refFun.ur @ 1998:cc7e5d469d1b
Protect uw_Basis_new_client_source from invalid ctx->id
We assume that FFI code may create new contextes with id left unassigned
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Wed, 26 Feb 2014 09:43:47 +0000 |
parents | 1a317a707d71 |
children |
line wrap: on
line source
functor Make(M : sig type data val inj : sql_injectable data end) = struct type ref = int sequence s table t : { Id : int, Data : M.data } PRIMARY KEY Id fun new d = id <- nextval s; dml (INSERT INTO t (Id, Data) VALUES ({[id]}, {[d]})); return id fun read r = o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {[r]}); case o of None => error <xml>You already deleted that ref!</xml> | Some r => return r.T.Data fun write r d = dml (UPDATE t SET Data = {[d]} WHERE Id = {[r]}) fun delete r = dml (DELETE FROM t WHERE Id = {[r]}) end