only set the server name if we do not have an IP address.
commitd0935acf38469e447d843b64fb7f56eee0c47288
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 13 Mar 2012 17:47:56 +0000 (13 18:47 +0100)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Tue, 13 Mar 2012 17:49:51 +0000 (13 18:49 +0100)
treef8f511f68a9f485924c4e4d3df53aaab9b1cbc1d
parent23b6bc58488b4938692fba8b041cbab2fc10296c
only set the server name if we do not have an IP address.
src/cli.c