X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Ffatal-signal.c;h=0f3603689541150495683fe34a2b096aec456bf8;hb=79903dd171cd7bdbb52710b98dbaa5de1537de87;hp=f6f913ebc0b1d2aa19923240344f40c88df37384;hpb=c874f17fc743b38295f6059ab6554561b7555724;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index f6f913eb..0f360368 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -134,6 +134,17 @@ 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)
 {
@@ -204,9 +215,7 @@ fatal_signal_add_file_to_unlink(const char *file)
         fatal_signal_add_hook(unlink_files, cancel_files, NULL, true);
     }
 
-    if (!shash_find(&files, file)) {
-        shash_add(&files, file, NULL);
-    }
+    shash_add_once(&files, file, NULL);
 }
 
 /* Unregisters 'file' from being unlinked when the program terminates via