view tests/ms.ur @ 2119:5439b35c5d0b

Add 'download' attribute to <a/>, part of HTML5
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 26 Oct 2014 14:07:07 +0000
parents 17393c5e2b90
children
line wrap: on
line source
table ms : {Client : client, Channel : channel xbody}

val hitMe =
    me <- self;
    ch <- oneRowE1 (SELECT (ms.Channel)
                    FROM ms
                    WHERE ms.Client = {[me]});

    s <- source 0;
    send ch <xml>
      <dyn signal={n <- signal s; return <xml>{[n]}</xml>}/>
      <button value="Inc" onclick={n <- get s; set s (n + 1)}/>
    </xml>

fun main' () =
    me <- self;
    ch <- channel;
    dml (INSERT INTO ms (Client, Channel) VALUES ({[me]}, {[ch]}));

    s <- source <xml/>;

    return <xml><body onload={let
                                  fun loop () =
                                      x <- recv ch;
                                      set s x;
                                      loop ()
                              in
                                  loop ()
                              end}>
      <button value="Another" onclick={rpc hitMe}/>
      <dyn signal={signal s}/>
    </body></xml>

fun main () =
    return <xml><body><form><submit action={main'}/></form></body></xml>