Details
-
Bug
-
Status: Closed
-
Minor - P4
-
Resolution: Fixed
-
3.1.8
-
Fully Compatible
-
ALL
-
-
Build B (10/30/15), Build C (11/20/15)
Description
The shell function Random.setRandomSeed() is not reliable to set a random seed, since it relies on new Date().getTime()), which is only a millisecond based value.