summaryrefslogtreecommitdiff
path: root/src/scriptcheck.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/scriptcheck.sml')
-rw-r--r--src/scriptcheck.sml9
1 files changed, 2 insertions, 7 deletions
diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml
index 09e9e884..c4623fc3 100644
--- a/src/scriptcheck.sml
+++ b/src/scriptcheck.sml
@@ -67,7 +67,7 @@ val events = ["abort",
"unload"]
val scriptWords = "<script"
- :: map (fn s => "on" ^ s ^ " ='") events
+ :: map (fn s => " on" ^ s ^ "='") events
val pushWords = ["rv("]
@@ -75,12 +75,7 @@ fun classify (ds, ps) =
let
val proto = Settings.currentProtocol ()
- fun inString {needle, haystack} =
- let
- val (_, suffix) = Substring.position needle (Substring.full haystack)
- in
- not (Substring.isEmpty suffix)
- end
+ fun inString {needle, haystack} = String.isSubstring needle haystack
fun hasClient {basis, words, onload} csids =
let