Index: tol/init.cpp
===================================================================
--- tol/init.cpp	(revision 589877d62a5d11d7729c0a9d077e5b88fd901447)
+++ tol/init.cpp	(revision a056b96ec17c75653ecb17fb93df39749fde9570)
@@ -69,4 +69,6 @@
 #include <contrib/cint/tolCint.h>
 
+#include <time.h>
+
 
 #ifdef _DEBUG
@@ -225,8 +227,19 @@
 //--------------------------------------------------------------------
 {
-  Error("SIGNAL: Interactive attention signal; on interactive systems this is usually generated by typing some break-in key at the terminal. (Interrupt.)");
-  //Error_UnexpectedTolEnd();
-  StopFlagOn();
-  //exit(sig);
+  static time_t *tm0 = NULL;
+  time_t tm1 = time( NULL );
+  
+  if ( tm0 && (tm1 - *tm0) < 1 ) {
+    Error("SIGNAL: Interactive attention signal; on interactive systems this is usually generated by typing some break-in key at the terminal. (Exit application)");
+    exit(sig);
+  } else {
+    Error("SIGNAL: Interactive attention signal; on interactive systems this is usually generated by typing some break-in key at the terminal. (Stop evaluation)");
+    //Error_UnexpectedTolEnd();
+    StopFlagOn();
+    if ( !tm0 ) {
+      tm0 = new time_t;
+    }
+    time( tm0 );
+  }
 };