internal static void KillTimer(Timer timer) { #if DriverDebug Console.WriteLine("KillTimer({0}): Called", timer); #endif driver.KillTimer(timer); }
internal static void KillTimer(Timer timer) { DriverDebug("KillTimer ({0}): Called", timer); driver.KillTimer(timer); }