Mercurial > urweb
comparison src/scriptcheck.sml @ 668:b0c1a46b1f15
First message send delivered, but not interpreted
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Mar 2009 15:05:07 -0400 |
parents | 1b571a05874c |
children | f73913d97a40 |
comparison
equal
deleted
inserted
replaced
667:a93d5324f400 | 668:b0c1a46b1f15 |
---|---|
36 structure IS = IntBinarySet | 36 structure IS = IntBinarySet |
37 | 37 |
38 val csBasis = SS.addList (SS.empty, | 38 val csBasis = SS.addList (SS.empty, |
39 ["new_client_source", | 39 ["new_client_source", |
40 "get_client_source", | 40 "get_client_source", |
41 "set_client_source"]) | 41 "set_client_source", |
42 "new_channel", | |
43 "subscribe", | |
44 "recv"]) | |
42 | 45 |
43 val scriptWords = ["<script", | 46 val scriptWords = ["<script", |
44 " onclick="] | 47 " onclick="] |
45 | 48 |
46 fun classify (ds, ps) = | 49 fun classify (ds, ps) = |