diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js index d36d9f120f..b56fa3df76 100644 --- a/collects/scribble/scribble-common.js +++ b/collects/scribble/scribble-common.js @@ -61,7 +61,7 @@ function SetArgInString(str, name, val) { } function GetArgFromURL(url, name) { - if (!url.href.search(/\?([^#]*)(?:#|$)/)) return false; + if (url.href.search(/\?([^#]*)(?:#|$)/) < 0) return false; return GetArgFromString(RegExp.$1, name); }