#18419 [Fbk->Bgs]: No way to get current rand seed
| From: | sniper@php.net | Date: | Wed, 11 Sep 2002 17:07:07 +0000 |
| Subject: | #18419 [Fbk->Bgs]: No way to get current rand seed | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-19177@lists.php.net to get a copy of this message | ||
ID: 18419
Updated by: sniper@php.net
Reported By: peter_ammon@rocketmail.com
-Status: Feedback
+Status: Bogus
Bug Type: Feature/Change Request
Operating System: RedHat Linux
PHP Version: 4.2.1
New Comment:
No feedback was provided. The bug is being suspended because
we assume that you are no longer experiencing the problem.
If this is not the case and you are able to provide the
information that was requested earlier, please do so and
change the status of the bug back to "Open". Thank you.
Previous Comments:
------------------------------------------------------------------------
[2002-07-18 15:20:45] rasmus@php.net
I don't really see the scenario where setting a known seed with srand()
wouldn't be sufficient.
------------------------------------------------------------------------
[2002-07-18 15:17:41] peter_ammon@rocketmail.com
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 this bug report at http://bugs.php.net/?id=18419&edit=1