Beispiel #1
0
 private void TerminateRunners()
 {
     if (runner != null)
     {
         runner.Kill();
         runner = null;
     }
 }
Beispiel #2
0
        private void TerminateRunners()
        {
            if (wmoRunner != null)
            {
                wmoRunner.Kill();
            }

            if (texRunner != null)
            {
                texRunner.Kill();
            }
        }