1
0
mirror of https://github.com/mirror/wget.git synced 2025-04-11 20:10:27 +08:00

[svn] Doc fix.

This commit is contained in:
hniksic 2005-06-28 14:56:43 -07:00
parent b789563a17
commit 276f66fc14

View File

@ -1622,13 +1622,13 @@ random_number (int max)
/* Return a random uniformly distributed floating point number in the
[0, 1) range. The precision of returned numbers is 9 digits.
Modify this to use erand48() where available! */
Modify this to use drand48() where available! */
double
random_float (void)
{
/* We can't rely on any specific value of RAND_MAX, but I'm pretty
sure it's greater than 1000. */
/* We can't rely on any specific value of RAND_MAX, but it must
always be greater than 1000. */
int rnd1 = random_number (1000);
int rnd2 = random_number (1000);
int rnd3 = random_number (1000);