From da6b1b588e47d9cf34f9e5ec07d09846bb4befff Mon Sep 17 00:00:00 2001
From: Francesco Lannutti <nicolati@fastwebnet.it>
Date: Sun, 5 Jul 2015 13:08:59 +0200
Subject: [PATCH] Modified Signal Handler

---
 src/frontend/signal_handler.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/signal_handler.c b/src/frontend/signal_handler.c
index 6a53c633f..6e3a26164 100644
--- a/src/frontend/signal_handler.c
+++ b/src/frontend/signal_handler.c
@@ -68,7 +68,7 @@ ft_sigintr_cleanup(void)
     cp_resetcontrol();
 }
 
-
+unsigned int interrupt_counter ;
 /*  invoke this function upon keyboard interrupt  */
 RETSIGTYPE
 ft_sigintr(void)