Fixed Andi's build problem.

diff --git a/main/php_network.h b/main/php_network.h
index eaacbc8450ae4daf512f982d181a68b233f39d75..43ce3ce182d3d311f55a67acfade605c47cd2eb5 100644 (file)
--- a/main/php_network.h
+++ b/main/php_network.h
@@ -37,6 +37,10 @@
 #include <sys/socket.h>
 #endif
 
+#ifdef HAVE_SYS_TIME_H
+#include <sys/time.h>
+#endif
+
 
 
 int php_hostconnect(char *host, unsigned short port, int socktype, int timeout);