Changeset 32cb7a in git for Singular/cntrlc.cc

Timestamp:

Oct 12, 2012, 5:18:39 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

17874ed75ee295b8f839c9c6087da10a82e6ff2e

Parents:

b51d2ccd49597e776969d2543051d6119c88d59b

Message:

chg: handling of cntrl-c (from master: --cntrlc=?)

File:

• Singular/cntrlc.cc (modified) (5 diffs)

Singular/cntrlc.cc

@@ -373 +373 @@
 #endif
 
-
 /*2
 * signal handler for SIGINT
 */
+int sigint_handler_cnt=0;
 void sigint_handler(int sig)
 {
@@ -383 +383 @@
   if (fe_is_raw_tty) fe_temp_reset();
   #endif /* HAVE_FEREAD */
+  char default_opt=' ';
+  if ((feOptSpec[FE_OPT_CNTRLC].value!=NULL)
+      && ((char*)(feOptSpec[FE_OPT_CNTRLC].value))[0])
+  { default_opt=((char*)(feOptSpec[FE_OPT_CNTRLC].value))[0]; }
   loop
   {
     int cnt=0;
     int c;
-    if(singular_in_batchmode)
+
+    if (singular_in_batchmode)
     {
       c = 'q';
+    }
+    else if (default_opt!=' ')
+    {
+      c = default_opt;
     }
     else
@@ -397 +406 @@
       if (feGetOptValue(FE_OPT_EMACS) == NULL)
       {
-        fputs("abort command(a), continue(c) or quit Singular(q) ?",stderr);fflush(stderr);
+        fputs("abort after this command(a), abort immediately(r), print backtrace(b), continue(c) or quit Singular(q) ?",stderr);fflush(stderr);
         c = fgetc(stdin);
       }
@@ -408 +417 @@
     switch(c)
     {
-      case 'q':
+      case 'q': case EOF:
                 m2_end(2);
       case 'r':
-                longjmp(si_start_jmpbuf,1);
+                if (sigint_handler_cnt<3)
+                {
+                  sigint_handler_cnt++;
+                  fputs("** Warning: Singular should be restarted as soon as possible **\n",stderr);
+                  fflush(stderr);
+                  longjmp(si_start_jmpbuf,1);
+                }
+                else
+                {
+                  fputs("** tried too often, try another possibility **\n",stderr);
+                  fflush(stderr);
+                }
+                break;
       case 'b':
                 VoiceBackTrack();
@@ -418 +439 @@
                 siCntrlc++;
       case 'c':
-                if (feGetOptValue(FE_OPT_EMACS) == NULL) fgetc(stdin);
+                if ((feGetOptValue(FE_OPT_EMACS) == NULL) && (default_opt!=' '))
+                {
+                  /* Read until a newline or EOF */
+                  while (c != EOF && c != '\n') c = fgetc(stdin);
+                }
                 si_set_signal(SIGINT ,(si_hdl_typ)sigint_handler);
                 return;