--- socket_ops.hpp	2010-05-07 21:57:38
+++ socket_ops.hpp.fix-isdigit	2010-05-07 22:04:15
@@ -1302,7 +1302,7 @@
 #if defined(AI_NUMERICSERV)
       (hints->ai_flags & AI_NUMERICSERV) ||
 #endif
-      isdigit(serv[0]))
+      isdigit(static_cast<unsigned char>(serv[0])))
   {
     int port = htons(atoi(serv));
     if (hints->ai_socktype)