]> matita.cs.unibo.it Git - helm.git/commit
- added explode_sockaddr, inverse function of build_sockaddr
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 14:57:51 +0000 (14:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 14:57:51 +0000 (14:57 +0000)
commit9d2fb169bfc461d247338137458cbecc924d9208
treeb7faea796756d5a2c4a0cc652228367ec6b13efb
parent9d746b8bd108a349f3d4771adbc3b293f191e282
- added explode_sockaddr, inverse function of build_sockaddr
- uncurried build_sockaddr arguments
- added peername_of_{in,out}_channel which retrieve peer socket address
  from an i/o channel
helm/DEVEL/ocaml-http/http_misc.ml
helm/DEVEL/ocaml-http/http_misc.mli