tree 08061aabfcbf2b426df2b79277079411778d5e8d
parent 39a682f5f223fb988ba634ba74e20b2b490cb333
author Raymond Hettinger <python@rcn.com> 1060453857 +0000
committer Raymond Hettinger <python@rcn.com> 1060453857 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4033822

SF bug #778964:  bad seed in python 2.3 random

The default seed is time.time().
Multiplied by 256 before truncating so that fractional seconds are used.
This way, two successive calls to random.seed() are much more likely
to produce different sequences.