String outDir = System.getProperty("jacorb.test.outdir");
serverProperties.put ("emma.coverage.out.file", outDir + "/coverage-server.ec");
serverProperties.put("emma.verbosity.level", System.getProperty("emma.verbosity.level", "quiet") );
}
final Launcher launcher = JacORBLauncher.getLauncher (serverVersion,
coverage,
System.getProperty("java.class.path"),
serverProperties,
getTestServerMain(),
getServerArgs());
serverProcess = launcher.launch();
// add a shutdown hook to ensure that the server process
// is shutdown even if this JVM is going down unexpectedly
Runtime.getRuntime().addShutdownHook(new ProcessShutdown(serverProcess));