diff --git a/qa/vagrant/build.gradle b/qa/vagrant/build.gradle index 89668a06534..878e9c5ef7f 100644 --- a/qa/vagrant/build.gradle +++ b/qa/vagrant/build.gradle @@ -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 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) }