]> matita.cs.unibo.it Git - helm.git/commit
implemented hostname resolution for "addr" parameter
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:46:57 +0000 (12:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:46:57 +0000 (12:46 +0000)
commitb1bd861e3aaeef9e65ce1d35e5ae7d8db5f0d0e9
tree3baf2c4771521b8502ef8595dc491500d9cec0c1
parent4435f80e8e03b8920cd9e0a99a8e99b0f9afac62
implemented hostname resolution for "addr" parameter
helm/DEVEL/ocaml-http/http_misc.ml