#include <stdio.h>
#include <stddef.h>
#include <stdlib.h>
#include <strings.h>
#include <signal.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <kernel/mod2.h>
#include <omalloc/omalloc.h>
#include <reporter/si_signals.h>
#include <Singular/fevoices.h>
#include <Singular/tok.h>
#include <Singular/ipshell.h>
#include <Singular/cntrlc.h>
#include <Singular/feOpt.h>
#include <Singular/misc_ip.h>
#include <Singular/links/silink.h>
#include <Singular/links/ssiLink.h>
Go to the source code of this file.
§ CALL_GDB
§ si_hdl_typ
typedef void(* si_hdl_typ) (int) |
§ init_signals()
Definition at line 573 of file cntrlc.cc.
void sigsegv_handler(int sig)
si_hdl_typ si_set_signal(int sig, si_hdl_typ signal_handler)
meta function for binding a signal to an handler
void sig_chld_hdl(int)
additional default signal handler
§ si_set_signal()
meta function for binding a signal to an handler
- Parameters
-
[in] | sig | Signal number |
[in] | signal_handler | Pointer to signal handler |
- Returns
- value of signal()
Definition at line 129 of file cntrlc.cc.
133 if (retval == SIG_ERR)
135 fprintf(stderr,
"Unable to init signal %d ... exiting...\n", sig);
142 struct sigaction new_action,old_action;
143 memset(&new_action, 0,
sizeof(
struct sigaction));
146 new_action.sa_handler = signal_handler;
148 sigemptyset (&new_action.sa_mask);
150 new_action.sa_flags = SA_RESTART;
152 int r=si_sigaction (sig, &new_action, &old_action);
156 fprintf(stderr,
"Unable to init signal %d ... exiting...\n", sig);
#define si_siginterrupt(arg1, arg2)
§ sig_pipe_hdl()
void sig_pipe_hdl |
( |
int |
| ) |
|
Definition at line 74 of file cntrlc.cc.
void WerrorS(const char *s)
BOOLEAN slClose(si_link l)
§ sig_term_hdl()
void sig_term_hdl |
( |
int |
| ) |
|
Definition at line 87 of file cntrlc.cc.
volatile BOOLEAN do_shutdown
volatile int defer_shutdown
§ sigint_handler()
void sigint_handler |
( |
int |
| ) |
|
Definition at line 319 of file cntrlc.cc.
325 char default_opt=
' ';
327 && ((
char*)(
feOptSpec[FE_OPT_CNTRLC].value))[0])
328 { default_opt=((
char*)(
feOptSpec[FE_OPT_CNTRLC].value))[0]; }
338 else if (default_opt!=
' ')
344 fprintf(stderr,
"// ** Interrupt at cmd:`%s` in line:'%s'\n",
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);
366 fputs(
"** Warning: Singular should be restarted as soon as possible **\n",stderr);
375 fputs(
"** tried too often, try another possibility **\n",stderr);
388 while (c != EOF && c !=
'\n') c = fgetc(stdin);
static void * feOptValue(feOptIndex opt)
BOOLEAN singular_in_batchmode
Voice * feInitStdin(Voice *pp)
si_hdl_typ si_set_signal(int sig, si_hdl_typ signal_handler)
meta function for binding a signal to an handler
struct fe_option feOptSpec[]
const char * Tok2Cmdname(int tok)
§ sigsegv_handler()
void sigsegv_handler |
( |
int |
sig | ) |
|
Definition at line 285 of file cntrlc.cc.
287 fprintf(stderr,
"Singular : signal %d (v: %d):\n",
292 fprintf(stderr,
"Segment fault/Bus error occurred (r:%d)\n" 293 "please inform the authors\n",
300 fprintf(stderr,
"trying to restart...\n");
307 if (sig!=SIGINT) debug(STACK_TRACE);
§ defer_shutdown
volatile int defer_shutdown = 0 |
§ do_shutdown
§ pipeLastLink
§ si_restart
§ si_start_jmpbuf
§ siCntrlc
§ sigint_handler_cnt
int sigint_handler_cnt =0 |
§ singular_in_batchmode
§ siRandomStart