I have finally solved the problem. Thanks to everyone.

(It was a very weird DNS configuration which does not resolve a name if SSH
is used. Once I started to use the IP address, I could connect to the
server)

>
>
> Then you should do something wrong. Works here.
>
> - benoit
>

Reply via email to