X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=2e38fc51aca1fc8b0e2c5d71f3fc8deff36a6abc;hb=a6bc4a03a44ee8a4ab346f0c1a6e21d20a1d29bd;hp=80ecfc35aaf820d1719ac66b0ebc2f7924b66af2;hpb=c69ee87c10818267f991236201150b1fa51ae519;p=openvswitch diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c index 80ecfc35..2e38fc51 100644 --- a/lib/fatal-signal.c +++ b/lib/fatal-signal.c @@ -134,11 +134,25 @@ fatal_signal_handler(int sig_nr) stored_sig_nr = sig_nr; } +/* Check whether a fatal signal has occurred and, if so, call the fatal signal + * hooks and exit. + * + * This function is called automatically by poll_block(), but specialized + * programs that may not always call poll_block() on a regular basis should + * also call it periodically. (Therefore, any function with "block" in its + * name should call fatal_signal_run() each time it is called, either directly + * or through poll_block(), because such functions can only used by specialized + * programs that can afford to block outside their main loop around + * poll_block().) + */ void fatal_signal_run(void) { - int sig_nr = stored_sig_nr; + int sig_nr; + fatal_signal_init(); + + sig_nr = stored_sig_nr; if (sig_nr != SIG_ATOMIC_MAX) { call_hooks(sig_nr); @@ -152,6 +166,7 @@ fatal_signal_run(void) void fatal_signal_wait(void) { + fatal_signal_init(); poll_fd_wait(signal_fds[0], POLLIN); }