fix random() vs php_rand() for portability

Author: weltling

library.c

@@ -17,6 +17,7 @@
 #include "php_redis.h"
 #include "library.h"
 #include <ext/standard/php_math.h>
+#include <ext/standard/php_rand.h>
 
 #define UNSERIALIZE_ONLY_VALUES 0
 #define UNSERIALIZE_ALL 1
@@ -64,7 +65,7 @@ PHPAPI int redis_check_eof(RedisSock *redis_sock TSRMLS_DC)
     // Wait for a while before trying to reconnect
     if (redis_sock->retry_interval) {
     	// Random factor to avoid having several (or many) concurrent connections trying to reconnect at the same time
-   		long retry_interval = (count ? redis_sock->retry_interval : (random() % redis_sock->retry_interval));
+   		long retry_interval = (count ? redis_sock->retry_interval : (php_rand(TSRMLS_C) % redis_sock->retry_interval));
     	usleep(retry_interval);
     }
         redis_sock_connect(redis_sock TSRMLS_CC); /* reconnect */