File: timeout.ur

package info (click to toggle)
urweb 20170105%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 8,640 kB
  • ctags: 9,972
  • sloc: ansic: 6,402; lisp: 1,198; makefile: 173; sh: 44; sql: 1
file content (22 lines) | stat: -rw-r--r-- 766 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
table listeners : { Ch : channel unit }

fun ping () =
    queryI1 (SELECT * FROM listeners)
    (fn r => send r.Ch ())

fun main () =
    ch <- channel;
    dml (INSERT INTO listeners(Ch) VALUES ({[ch]}));
    count <- source 0;
    return <xml><body onload={let
                                  fun loop () =
                                      _ <- recv ch;
                                      c <- get count;
                                      set count (c + 1);
                                      loop ()
                              in
                                  loop ()
                              end}>
      <dyn signal={n <- signal count; return (txt n)}/>
      <button onclick={fn _ => rpc (ping ())}>Ping</button>
    </body></xml>