tolerate additional IPv4 address now available for gnunet.org
[oweals/gnunet.git] / src / util / scheduler.c
index 5d383663918008b7820e24875d661d269db51f3e..2ddbb8c60f06daf7b4f8f6f72b25cb4fa30147c9 100644 (file)
@@ -14,6 +14,8 @@
      
       You should have received a copy of the GNU Affero General Public License
       along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+     SPDX-License-Identifier: AGPL3.0-or-later
  */
 /**
  * @file util/scheduler.c
@@ -656,8 +658,8 @@ sighandler_shutdown ()
   int old_errno = errno;        /* backup errno */
 
   if (getpid () != my_pid)
-    exit (1);                   /* we have fork'ed since the signal handler was created,
-                                 * ignore the signal, see https://gnunet.org/vfork discussion */
+    _exit (1);                   /* we have fork'ed since the signal handler was created,
+                                  * ignore the signal, see https://gnunet.org/vfork discussion */
   GNUNET_DISK_file_write (GNUNET_DISK_pipe_handle
                           (shutdown_pipe_handle, GNUNET_DISK_PIPE_END_WRITE),
                           &c, sizeof (c));
@@ -913,6 +915,7 @@ driver_add_multiple (struct GNUNET_SCHEDULER_Task *t)
 static void
 install_parent_control_handler (void *cls)
 {
+  (void) cls;
   install_parent_control_task = NULL;
   GNUNET_OS_install_parent_control_handler (NULL);
 }
@@ -924,6 +927,7 @@ shutdown_pipe_cb (void *cls)
   char c;
   const struct GNUNET_DISK_FileHandle *pr;
 
+  (void) cls;
   shutdown_pipe_task = NULL;
   pr = GNUNET_DISK_pipe_handle (shutdown_pipe_handle,
                                 GNUNET_DISK_PIPE_END_READ);