]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dada2f) | patch
- bugfix: do not fail when query_kind is missing (e.g. on /getpage)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:33:10 +0000 (16:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:33:10 +0000 (16:33 +0000)
commit51a0b68908c1f9ca9cb49f957fb6aae5307674f6
tree99de16a0eeadb1224c72b908ca8049ce8ee14332tree | snapshot
parent6dada2f080978d66e3acc24230eee10e22daabeacommit | diff
- bugfix: do not fail when query_kind is missing (e.g. on /getpage)
- bugfix: security, no longer subject to directory traversal (!)
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.