Changeset 67e0dc in git for Singular/cntrlc.cc
- Timestamp:
- Oct 21, 2015, 2:57:17 PM (8 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 5bd9ec36b87fa8f176a21995de2b56724d67be2d
- Parents:
- a1b6c917a1c8886b1bba1b05680ff06cfd39c82def1a968e317a12b42f88e04cd7f9483e47fba2f7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/cntrlc.cc
ref1a96 r67e0dc 5 5 * ABSTRACT - interupt handling 6 6 */ 7 #include <kernel/mod2.h>8 9 /* includes */10 #ifdef DecAlpha_OSF111 #define _XOPEN_SOURCE_EXTENDED12 #endif /* MP3-Y2 0.022UF */13 14 #include <omalloc/omalloc.h>15 16 #include <reporter/si_signals.h>17 #include <Singular/fevoices.h>18 19 #include <Singular/tok.h>20 #include <Singular/ipshell.h>21 void sig_chld_hdl(int sig); /*#include <Singular/links/ssiLink.h>*/22 #include <Singular/cntrlc.h>23 #include <Singular/feOpt.h>24 #include <Singular/misc_ip.h>25 #include <Singular/links/silink.h>26 #include <Singular/links/ssiLink.h>27 28 7 #include <stdio.h> 29 8 #include <stddef.h> … … 33 12 #include <sys/types.h> 34 13 #include <sys/wait.h> 14 15 #include <kernel/mod2.h> 16 17 #include <omalloc/omalloc.h> 18 19 #include <reporter/si_signals.h> 20 #include <Singular/fevoices.h> 21 22 #include <Singular/tok.h> 23 #include <Singular/ipshell.h> 24 #include <Singular/cntrlc.h> 25 #include <Singular/feOpt.h> 26 #include <Singular/misc_ip.h> 27 #include <Singular/links/silink.h> 28 #include <Singular/links/ssiLink.h> 35 29 36 30 /* undef, if you don't want GDB to come up on error */ … … 352 346 if (feOptValue(FE_OPT_EMACS) == NULL) 353 347 { 354 fputs("abort after this command(a), abort immediately(r), print backtrace(b), continue(c) or quit Singular(q) ?",stderr);fflush(stderr); 348 fputs("abort after this command(a), abort immediately(r), print backtrace(b), continue(c) or quit Singular(q) ?",stderr); 349 fflush(stderr);fflush(stdin); 355 350 c = fgetc(stdin); 356 351 } … … 371 366 fputs("** Warning: Singular should be restarted as soon as possible **\n",stderr); 372 367 fflush(stderr); 368 extern void my_yy_flush(); 369 my_yy_flush(); 370 currentVoice=feInitStdin(NULL); 373 371 longjmp(si_start_jmpbuf,1); 374 372 }
Note: See TracChangeset
for help on using the changeset viewer.