pickrand.py: seed RNG with process ID

Seed the random number generator with the current process ID rather than
with the clock.

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>

diff --git a/pickrand.py b/pickrand.py
index 558115c..6340971 100755 (executable)
--- a/pickrand.py
+++ b/pickrand.py
@@ -20,7 +20,7 @@ for root, dirs, files in os.walk("."):
         allfiles.append(os.path.join(root, f))
 if (len(allfiles) == 0):
    sys.exit(1)
-random.seed(None)
+random.seed(os.getpid())
 r = random.randint(0,len(allfiles) - 1)
 print(allfiles[r])
 if (print_to_stderr):