kernel/eka/nkern/nk_timer.cpp
branchRCL_3
changeset 257 3e88ff8f41d5
parent 256 c1f20ce4abcf
--- a/kernel/eka/nkern/nk_timer.cpp	Tue Aug 31 16:34:26 2010 +0300
+++ b/kernel/eka/nkern/nk_timer.cpp	Wed Sep 01 12:34:56 2010 +0100
@@ -153,6 +153,7 @@
 // Wait aTime from last trigger time - used for periodic timers
 //
 	{
+	__NK_ASSERT_DEBUG(aTime>0);
 	TInt irq=NKern::DisableAllInterrupts();
 	if (iState!=EIdle)
 		{