--- a/Socket.st Thu Jul 23 21:00:25 2015 +0200
+++ b/Socket.st Thu Jul 23 21:03:28 2015 +0200
@@ -2821,7 +2821,7 @@
SOCKET socket = SOCKET_FROM_FILE_OBJECT(fp);
if (@global(FileOpenTrace) == true) {
- fprintf(stderr, "close socket [ExternalStream] %"_lx_"\n", socket);
+ console_fprintf(stderr, "close socket [ExternalStream] %"_lx_"\n", socket);
}
// whether the close() will be successful or not - the handle is invalid now!
@@ -3331,7 +3331,7 @@
else if (arg1 == false) u.u_bool = FALSE;
else goto argError;
# ifdef WIN32
- _win32_printf("%d %d %d %d\n", level, opt, usize, u.u_int);
+ console_fprintf(stderr, "%d %d %d %d\n", level, opt, usize, u.u_int);
# endif
}
# endif /* IPV6_V6ONLY */