# HG changeset patch
# User Michael Spacefalcon <msokolov@ivan.Harhan.ORG>
# Date 1403764914 0
# Node ID 81b941dd415dcf5780262185090ad6db63edf5ae
# Parent  5031958cea529885b5bc09b240bb13f53c8cc20b
os_tim_ir.c: os_DestroyTimer(): missed assignment line

diff -r 5031958cea52 -r 81b941dd415d gsm-fw/gpf/osl/os_tim_ir.c
--- a/gsm-fw/gpf/osl/os_tim_ir.c	Thu Jun 26 06:32:38 2014 +0000
+++ b/gsm-fw/gpf/osl/os_tim_ir.c	Thu Jun 26 06:41:54 2014 +0000
@@ -261,8 +261,8 @@
 	return OS_OK;
 }
 
-/* FIXME: TaskHandle is unused?! */
 GLOBAL LONG os_DestroyTimer(OS_HANDLE TaskHandle, OS_HANDLE TimerHandle)
+	/* TaskHandle argument is unused */
 {
 	STATUS sts;
 	T_OS_TIMER_ENTRY *timer_e;
@@ -277,6 +277,7 @@
 		return OS_ERROR;
 	}
 	timer_e->next_t_handle = next_t_handle;
+	next_t_handle = TimerHandle;
 	timer_e->entry.status = 0;
 	used_timers--;
 	t_list_access = 0;