finalisation/gc

From: Julian Assange (proff@iq.org)
Date: Sat Mar 18 2000 - 04:23:53 MET

  • Next message: Julian Assange: "multi-threaded udp resolver"

    val open_connection : sockaddr -> in_channel * out_channel
            (* Connect to a server at the given address.
               Return a pair of buffered channels connected to the server.
               Remember to call [flush] on the output channel at the right times
               to ensure correct synchronization. *)

    Does not close the underlaying file descriptor when GC'd.

    Is this the case with other world-state changing types?

    Cheers,
    Julian.



    This archive was generated by hypermail 2b29 : Sat Mar 18 2000 - 19:32:51 MET