From 0d81c133b31774058408a5f1d1a058d9734a9def Mon Sep 17 00:00:00 2001
From: Dave Hylands
Date: Mon, 30 Jun 2014 07:55:54 -0700
Subject: Add timer_deinit and call it just before doing a soft-restart

This fixes #733.
---
 stmhal/main.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stmhal/main.c')

diff --git a/stmhal/main.c b/stmhal/main.c
index 9f48fbfd6..947c25b41 100644
--- a/stmhal/main.c
+++ b/stmhal/main.c
@@ -549,6 +549,8 @@ soft_reset:
     printf("PYB: sync filesystems\n");
     storage_flush();
 
+    timer_deinit();
+
     printf("PYB: soft reboot\n");
 
     first_soft_reset = false;
-- 
cgit v1.2.3