From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Dec 2002 14:57:51 +0000 (+0000)
Subject: - added explode_sockaddr, inverse function of build_sockaddr
X-Git-Tag: v0_3_99~138
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9d2fb169bfc461d247338137458cbecc924d9208;hp=9d2fb169bfc461d247338137458cbecc924d9208;p=helm.git

- 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
---