This commit is contained in:
Rick Parker 2017-11-23 17:19:30 +00:00 committed by GitHub
parent cdf061379e
commit ca2267f87f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -51,6 +51,9 @@ class Launcher {
}
jmeter.start(arrayOf("-s", "-p", (capsuleDirPath / "jmeter.properties").toString()) + extraArgs + args)
} else {
val searchPath = Files.readAllLines(Paths.get(System.getProperty("search_paths_file"))).first()
logger.info("search_paths = $searchPath")
System.setProperty("search_paths", searchPath)
jmeter.start(maybeOpenSshTunnels(args))
}
}