only set the server name if we do not have an IP address.

diff --git a/src/cli.c b/src/cli.c
index ccd59d0786927940564890d3b0b5f68145da81a3..711701619c4c525d80e94f7f1f63b0287b9a8908 100644 (file)
--- a/src/cli.c
+++ b/src/cli.c
@@ -36,6 +36,7 @@
 #include <stdint.h>
 #include <fcntl.h>
 #include <netdb.h>
+#include <ctype.h>
 
 #include <gnutls/gnutls.h>
 #include <gnutls/abstract.h>
@@ -674,9 +675,9 @@ init_tls_session (const char *hostname)
    */
   if (disable_extensions == 0)
     {
-      gnutls_handshake_set_private_extensions (session, 1);
-      gnutls_server_name_set (session, GNUTLS_NAME_DNS, hostname,
-                              strlen (hostname));
+      if (!isdigit(hostname[0]) && strchr(hostname, ':') == 0)
+        gnutls_server_name_set (session, GNUTLS_NAME_DNS, hostname,
+                                strlen (hostname));
     }
 
   gnutls_dh_set_prime_bits (session, 512);