- GNUNET_SCHEDULER_add_now (sched,
- &waitpid_task, &learn_peer);
- GNUNET_SCHEDULER_add_now (sched,
- &waitpid_task, &adv_peer);
+
+
+#if START_ARM
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG,
+ "Killing hostlist server ARM process.\n");
+ if (0 != PLIBC_KILL (adv_peer.arm_pid, SIGTERM))
+ GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "kill");
+ if (GNUNET_OS_process_wait(adv_peer.arm_pid) != GNUNET_OK)
+ GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "waitpid");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG,
+ "Hostlist server ARM process %u stopped\n", adv_peer.arm_pid);
+#endif
+
+
+#if START_ARM
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG,
+ "Killing hostlist client ARM process.\n");
+ if (0 != PLIBC_KILL (learn_peer.arm_pid, SIGTERM))
+ GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "kill");
+ if (GNUNET_OS_process_wait(learn_peer.arm_pid) != GNUNET_OK)
+ GNUNET_log_strerror (GNUNET_ERROR_TYPE_WARNING, "waitpid");
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG,
+ "Hostlist client ARM process %u stopped\n", learn_peer.arm_pid);
+#endif
+
+ GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Shutting down scheduler\n");