[Unison-hackers] [unison-users] Address family not supported by protocol [socket()]

[Benjamin Pierce]

I've applied this patch to the developer sources.

Thanks,

     - B

On Oct 1, 2005, at 6:03 PM, Samuel Thibault wrote:

> --- remote-orig.ml    2005-10-01 16:55:40.000000000 +0200
> +++ remote.ml    2005-10-01 16:59:28.000000000 +0200
> @@ -824,9 +824,10 @@
>          Unix.connect socket ai.Unix.ai_addr;
>          initConnection socket socket
>        with
> -        Unix.Unix_error (_, _, reason) ->
> -          (Util.warn
> -            (Printf.sprintf
> +        Unix.Unix_error (error, _, reason) ->
> +          (if error != Unix.EAFNOSUPPORT then
> +            Util.warn
> +              (Printf.sprintf
>                      "Can't connect to server (%s:%s): %s" host  
> port reason);
>             loop r)
>      end
> @@ -1137,11 +1138,12 @@
>            Unix.listen socket 1;
>        socket
>      with
> -      Unix.Unix_error (_, _, reason) ->
> -            (Util.warn
> -               (Printf.sprintf
> -                  "Can't bind to host (%s:%s): %s"  
> ai.Unix.ai_canonname port
> -          reason);
> +      Unix.Unix_error (error, _, reason) ->
> +            (if error != Unix.EAFNOSUPPORT then
> +               Util.warn
> +                 (Printf.sprintf
> +                    "Can't bind to host (%s:%s): %s"  
> ai.Unix.ai_canonname port
> +            reason);
>           loop r)
>      end in
>        let listening = loop (Unix.getaddrinfo host port  
> [ Unix.AI_SOCKTYPE
>