]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b44dc89) | patch
- catch processing exception which are now reported embedded in html responses
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 14:48:25 +0000 (14:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 14:48:25 +0000 (14:48 +0000)
commit9ced39239ffcdd806d2d125073e4103f4d9ae91b
treee30710d128a860f2f78ed74d037871451efa2d09tree | snapshot
parentb44dc89c918d3703fd7cc4e36037912b34fd0f61commit | diff
- catch processing exception which are now reported embedded in html responses
- catch parameter exception which are now reported as bad request responses
- changed default port from 48085 to 58085
- disabled http debugging
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.