|
@@ -58,15 +58,20 @@ for (String box : vagrantBoxes.split(',')) {
|
|
|
}
|
|
|
|
|
|
long seed
|
|
|
-String formattedSeed
|
|
|
+String formattedSeed = null
|
|
|
String[] upgradeFromVersions
|
|
|
String upgradeFromVersion
|
|
|
|
|
|
String maybeTestsSeed = System.getProperty("tests.seed", null);
|
|
|
if (maybeTestsSeed != null) {
|
|
|
- seed = new BigInteger(maybeTestsSeed, 16).longValue()
|
|
|
- formattedSeed = maybeTestsSeed
|
|
|
-} else {
|
|
|
+ List<String> seeds = maybeTestsSeed.tokenize(':')
|
|
|
+ if (seeds.size() != 0) {
|
|
|
+ String masterSeed = seeds.get(0)
|
|
|
+ seed = new BigInteger(masterSeed, 16).longValue()
|
|
|
+ formattedSeed = maybeTestsSeed
|
|
|
+ }
|
|
|
+}
|
|
|
+if (formattedSeed == null) {
|
|
|
seed = new Random().nextLong()
|
|
|
formattedSeed = String.format("%016X", seed)
|
|
|
}
|