Bug #18419: No way to get current rand seed

From: peter_ammon@rocketmail.com Operating system: RedHat Linux PHP version: 4.2.1 PHP Bug Type: Feature/Change Request Bug description: No way to get current rand seed It would be nice if there were a way to retrieve the current random number seed (or state if it maintains more information than just the seed), so the random number generator could be reseeded with it. Some code depends upon the fact that rand will produce the same sequence starting with a given seed, and without a way to retrieve the seed, it's impossible to put functions that call rand() a variable number of times in such code. -- Edit bug report at http://bugs.php.net/?id=18419&edit=1 -- Fixed in CVS: http://bugs.php.net/fix.php?id=18419&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=18419&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=18419&r=needtrace Try newer version: http://bugs.php.net/fix.php?id=18419&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=18419&r=support Expected behavior: http://bugs.php.net/fix.php?id=18419&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=18419&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=18419&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=18419&r=globals