| Index: tools/testrunner/local/utils.py
|
| diff --git a/tools/testrunner/local/utils.py b/tools/testrunner/local/utils.py
|
| index 3e79e44afa22bff5fb623d1cb5451b5d9cf04b81..d780000bd4f69904cf6ba26e50921894ded34d70 100644
|
| --- a/tools/testrunner/local/utils.py
|
| +++ b/tools/testrunner/local/utils.py
|
| @@ -31,6 +31,7 @@ from os.path import exists
|
| from os.path import isdir
|
| from os.path import join
|
| import platform
|
| +import random
|
| import re
|
| import subprocess
|
| import urllib2
|
| @@ -40,6 +41,13 @@ def GetSuitePaths(test_root):
|
| return [ f for f in os.listdir(test_root) if isdir(join(test_root, f)) ]
|
|
|
|
|
| +def RandomSeed():
|
| + seed = 0
|
| + while not seed:
|
| + seed = random.SystemRandom().randint(-2147483648, 2147483647)
|
| + return seed
|
| +
|
| +
|
| # Reads a file into an array of strings
|
| def ReadLinesFrom(name):
|
| lines = []
|
|
|