From 4e95cfecdf904904f36d58e118ace4a5db36994e Mon Sep 17 00:00:00 2001
From: llsth <carsten@innolan.net>
Date: Fri, 13 Mar 2015 15:57:55 +0100
Subject: [PATCH] Released timer resource when exiting

---
 time_amiga.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/time_amiga.c b/time_amiga.c
index b943618..6f63289 100644
--- a/time_amiga.c
+++ b/time_amiga.c
@@ -169,9 +169,10 @@ amiga_sleep(double dur)
     sigs = Wait(SIGBREAKF_CTRL_C | timersig);
 
     if (sigs & SIGBREAKF_CTRL_C) {
-      exit(1);
+        delete_timer(request);
+        exit(1);
     }
-    
+
     delete_timer(request);
     return 0;
 }