]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 989b06d) | patch
No longer return HTTP 400 answers or non-xml answers: all document returned
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jan 2005 16:23:26 +0000 (16:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jan 2005 16:23:26 +0000 (16:23 +0000)
commit72e5ddf0f07b0e692f5e3544438f77f2e346b12a
tree31c46f3d0877de1a2e4aac02449bf020c12ed5eftree | snapshot
parent989b06d74d4cf43b81e64e91ccaeadc8f935754acommit | diff
No longer return HTTP 400 answers or non-xml answers: all document returned
by the getter are now XHTML documents, possibly with the addition of an
attribute helm:exception on the root <html> element in the
http://www.cs.unibo.it/helm namespace. The presence of such an attribute
means that an exception has occured, its value is meant to be a string
encoding of the relevant ocaml exception
helm/http_getter/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.