]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9165f5) | patch
Added "/getempty" method.
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 11 Nov 2001 14:09:35 +0000 (14:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 11 Nov 2001 14:09:35 +0000 (14:09 +0000)
commit1b19b60c84b1becb403f09c17c99997afe5f81d9
tree0e9b7485d66a6b1b6dbf55c1f95c673742c227d9tree | snapshot
parente9165f563d930d188d3675ab739244adf9460142commit | diff
Added "/getempty" method.
----
Syntax: "/getempty".
Answer: a minimal valid XML document.
Currently, the returned document is as follows:

  <?xml version="1.0"?>
  <!DOCTYPE empty [
    <!ELEMENT empty EMPTY>
  ]>
  <empty />

----
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.