]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3158cb) | patch
html-escapes user given expression when filling hidden field "expression"
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Apr 2005 08:45:32 +0000 (08:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Apr 2005 08:45:32 +0000 (08:45 +0000)
commit1616bc6fd4ed16b14e340a3e0070403fcbf70db9
tree6382777cd95f356b8724410147832780bcb3f93ctree | snapshot
parentc3158cbab847622c09b220f75190226ad2f6af4dcommit | diff
html-escapes user given expression when filling hidden field "expression"
in this way xml/html forbidden characters like "<" are converted to "&lt;"
and doesn't crash uwobo
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.