From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 6 Dec 2002 16:43:38 +0000 (+0000)
Subject: - split init_socket_and_callback in two functions
X-Git-Tag: v0_3_99~172
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d1569b80cc7b9fd2ca7551f2eb74e2dc10b02443;hp=d1569b80cc7b9fd2ca7551f2eb74e2dc10b02443;p=helm.git

- split init_socket_and_callback in two functions
- exported init_socket
---