private void TerminateRunners() { if (runner != null) { runner.Kill(); runner = null; } }
private void TerminateRunners() { if (wmoRunner != null) { wmoRunner.Kill(); } if (texRunner != null) { texRunner.Kill(); } }