suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Sanitize the output from HTML escape characters.

Browse Source 
Noted by ozzloy on IRC.  The search page appears to fail when
searching for the term 'string<?'; in truth, the search succeeds, but
the search link-printing code doesn't escape the '<?' part of the
identifier.
This commit is contained in:
Danny Yoo 2013-03-25 12:35:26 -06:00
parent 38409e0d7e
commit eb7fa6f066
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/main/private/search.js
View File

@ -643,7 +643,7 @@ function UncompactUrl(url) {
function UncompactHtml(x) { function UncompactHtml(x) {
if (typeof x == "string") { if (typeof x == "string") {
return x; return SanitizeHTML(x);
} else if (!(x instanceof Array)) { } else if (!(x instanceof Array)) {
return alert("Internal error in PLT docs"); return alert("Internal error in PLT docs");
} else if ((x.length == 2) && (typeof(x[0]) == "number")) { } else if ((x.length == 2) && (typeof(x[0]) == "number")) {