Peter@equalit.ie wrote (on gnunet-developers):
authorChristian Grothoff <christian@grothoff.org>
Wed, 25 Oct 2017 11:02:44 +0000 (13:02 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 25 Oct 2017 11:04:04 +0000 (13:04 +0200)
commite3c63c726a940afe3a79515ddfb6f7b128e76708
tree5b526a44fb4e53be78b0d6b92c37bc3270b02cfe
parent2f3db56899e063f04271f802f451e07dfcf73d98
Peter@equalit.ie wrote (on gnunet-developers):

Continuing a small IRC discussion

https://gnunet.org/bot/log/gnunet/2017-10-05#T1521518

Here is a change to optionally disable installing signal handlers in
GNUnet's scheduler:

https://github.com/equalitie/gnunet/commit/72d02205e1f25ec0df3a2d7efe44c8990ffead53?diff=split
(also attached)

=> patch looks fine, checkin in. -C
src/include/gnunet_scheduler_lib.h
src/util/scheduler.c