/** * Pre-loads seeds from an existing server logfile, or from a stripped-down * logfile containing only the RandomSeed lines. */ public void loadSeeds (File inputFile) throws FileNotFoundException { log.info("Loading seeds from file" + inputFile.getPath()); loadSeeds(new FileReader(inputFile)); }
private void loadSeedsMaybe () { if (seedSource == null) return; log.info("Reading random seeds from " + seedSource); InputStreamReader stream; try { stream = new InputStreamReader(makeUrl(seedSource).openStream()); randomSeedRepo.loadSeeds(stream); } catch (Exception e) { log.error("Cannot load seeds from " + seedSource); } }