X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=ac9e2a59f559b514eeb3680773aa739425b612e2;hb=eb0341e7118a5a63e7a2696e3e59940668355cba;hp=99b9d5e21a1a5588de6e86cb295df7869300abd6;hpb=412c3875c2acc76be9c398f2e5dda88f4e60b054;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index 99b9d5e2..ac9e2a59 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -108,11 +108,11 @@ fatal_signal_block()
 
             sigaddset(&fatal_signal_set, sig_nr);
             if (sigaction(sig_nr, NULL, &old_sa)) {
-                fatal(errno, "sigaction");
+                ofp_fatal(errno, "sigaction");
             }
             if (old_sa.sa_handler == SIG_DFL
                 && signal(sig_nr, fatal_signal_handler) == SIG_ERR) {
-                fatal(errno, "signal");
+                ofp_fatal(errno, "signal");
             }
         }
         atexit(atexit_handler);