if (sched->current_priority != pos->priority)
{
sched->current_priority = pos->priority;
- GNUNET_OS_set_process_priority (0, pos->priority);
+ (void) GNUNET_OS_set_process_priority (0, pos->priority);
}
sched->active_task = pos;
tc.sched = sched;
if (errno == EINTR)
continue;
GNUNET_log_strerror (GNUNET_ERROR_TYPE_ERROR, "select");
- break;
+ abort ();
+ break;
}
if (GNUNET_NETWORK_fdset_handle_isset (rs, pr))
{