Changeset 8e884e in git for Singular

Timestamp:

Jul 14, 2015, 2:46:50 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

91fb73ac79fab4c0fba7af15a337ba717de7c537

Parents:

b9d42ebdd3e1eb87de4be3903de28b9e3706a037

Message:

cntrlc handling: fix tr. #726

Location:

Singular

Files:

• cntrlc.cc (modified) (1 diff)
• scanner.cc (modified) (1 diff)
• scanner.ll (modified) (1 diff)

Singular/cntrlc.cc

@@ -366 +366 @@
                   fputs("** Warning: Singular should be restarted as soon as possible **\n",stderr);
                   fflush(stderr);
+                  extern void my_yy_flush();
+                  my_yy_flush();
+                  currentVoice=feInitStdin(NULL);
                   longjmp(si_start_jmpbuf,1);
                 }

Singular/scanner.cc

@@ -2330 +2330 @@
   //yy_flush_buffer((YY_BUFFER_STATE)oldb);
 }
+
+void my_yy_flush() { YY_FLUSH_BUFFER;BEGIN(0); }
+

Singular/scanner.ll

@@ -380 +380 @@
   //yy_flush_buffer((YY_BUFFER_STATE)oldb);
 }
+
+void my_yy_flush() { YY_FLUSH_BUFFER;BEGIN(0); }