X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=f6f913ebc0b1d2aa19923240344f40c88df37384;hb=7feb4503e0cacb8db445ed51593046d92d046473;hp=80ecfc35aaf820d1719ac66b0ebc2f7924b66af2;hpb=c69ee87c10818267f991236201150b1fa51ae519;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index 80ecfc35..f6f913eb 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -137,8 +137,11 @@ fatal_signal_handler(int sig_nr)
 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 +155,7 @@ fatal_signal_run(void)
 void
 fatal_signal_wait(void)
 {
+    fatal_signal_init();
     poll_fd_wait(signal_fds[0], POLLIN);
 }