From 40965fef2fc792c9066f82cda1f2fb7328307456 Mon Sep 17 00:00:00 2001
From: bernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Date: Mon, 25 Aug 2008 12:05:22 +0000
Subject: [PATCH] emul: enforce timer to be stopped before destroying the
 emulator

git-svn-id: https://src.develer.com/svnoss/bertos/trunk@1690 38d2e660-2303-0410-9eaa-f027e97ec537
---
 bertos/emul/emul.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bertos/emul/emul.cpp b/bertos/emul/emul.cpp
index 9b06fb90..3d0eb0a4 100644
--- a/bertos/emul/emul.cpp
+++ b/bertos/emul/emul.cpp
@@ -91,6 +91,10 @@ extern "C" void emul_cleanup()
 {
 	MOD_CLEANUP(emul);
 
+	// Timer must be made inactive before we destroy the emulator
+	extern bool timer_initialized;
+	ASSERT(!timer_initialized);
+
 	delete emul;
 	emul = NULL;
 }
-- 
2.25.1