--- trunk/gadget/interrupthandler.cc	2014/02/10 17:09:07	1
+++ trunk/gadget/interrupthandler.cc	2015/11/09 10:22:57	17
@@ -3,6 +3,7 @@
 #include "interrupthandler.h"
 #include "gadget.h"
 
+extern volatile int interrupted_print;
 volatile int* irhInterrupted;
 
 void registerInterrupts(volatile int* interrupted) {
@@ -19,6 +20,7 @@
 
 void interruptHandler(int signal) {
   *irhInterrupted = 1;
+  interrupted_print = 1;
 }
 
 #endif