Mercurial > urweb

view demo/cookie.ur @ 1909:659d1f4e95bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make dist: Use fewer wildcards The remaining ones only work by accident: http://www.gnu.org/software/automake/manual/html_node/Wildcards.html and they have some practical problems too (we don?t really want to distribute include/urweb/config.h or src/config.sml), but this is enough for now to pass ?make distcheck? as long as we don?t run it from a separate build directory. Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 6 +++--- src/c/Makefile.am | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 93315ac00394
children
line wrap: on
line source
cookie c : {A : string, B : float, C : int}

fun set r =
    setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
                 Expires = None,
                 Secure = False};
    return <xml>Cookie set.</xml>

fun setExp r =
    setCookie c {Value = {A = r.A, B = readError r.B, C = readError r.C},
                 Expires = Some (readError "2012-11-6 00:00:00"),
                 Secure = False};
    return <xml>Cookie set robustly.</xml>

fun delete () =
    clearCookie c;
    return <xml>Cookie cleared.</xml>

fun main () =
    ro <- getCookie c;
    return <xml><body>
      {case ro of
           None => <xml>No cookie set.</xml>
         | Some v => <xml>
           Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}<br/>
           <form><submit value="Delete" action={delete}/></form>
         </xml>}
      <br/><br/>

      <form>
        A: <textbox{#A}/><br/>
        B: <textbox{#B}/><br/>
        C: <textbox{#C}/><br/>
        <submit action={set}/>
      </form><br/>

      <form>
        <b>Version that expires on November 6, 2012:</b><br/>
        A: <textbox{#A}/><br/>
        B: <textbox{#B}/><br/>
        C: <textbox{#C}/><br/>
        <submit action={setExp}/>
      </form>
    </body></xml>