From d869d9b3b80cb9ab2314840b2fa274e89e5342db Mon Sep 17 00:00:00 2001
From: inmarket <andrewh@inmarket.com.au>
Date: Mon, 3 Feb 2014 18:01:44 +1000
Subject: [PATCH] Fix gtimerDeinit() function and add a TODO to _gtimerDeinit()

---
 src/gtimer/gtimer.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gtimer/gtimer.c b/src/gtimer/gtimer.c
index 3f772e39..3e0b6966 100644
--- a/src/gtimer/gtimer.c
+++ b/src/gtimer/gtimer.c
@@ -128,6 +128,7 @@ void _gtimerDeinit(void)
 {
 	gfxSemDestroy(&waitsem);
 	gfxMutexDestroy(&mutex);
+	// Need to destroy GTimer thread here
 }
 
 void gtimerInit(GTimer* pt)
@@ -137,7 +138,7 @@ void gtimerInit(GTimer* pt)
 
 void gtimerDeinit(GTimer* pt)
 {
-	(void)pt;
+	gtimerStop(pt);
 }
 
 void gtimerStart(GTimer *pt, GTimerFunction fn, void *param, bool_t periodic, delaytime_t millisec) {