comparison src/scriptcheck.sml @ 670:f73913d97a40

Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents b0c1a46b1f15
children 655bcc9b77e0
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
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", 42 "new_channel",
43 "subscribe", 43 "subscribe",
44 "send",
44 "recv"]) 45 "recv"])
45 46
46 val scriptWords = ["<script", 47 val scriptWords = ["<script",
47 " onclick="] 48 " onclick=",
49 " onload="]
48 50
49 fun classify (ds, ps) = 51 fun classify (ds, ps) =
50 let 52 let
51 fun inString {needle, haystack} = 53 fun inString {needle, haystack} =
52 let 54 let