Christian Helmuth 6e5f3d432e Post signal-handler hook in entrypoint
A Signal_handler may schedule a hook function that is executed after the
signal handler returned. This can be used if the hook function may
trigger a (nested) signal handler by means of
wait_and_dispatch_one_signal(). Otherwise, an occurrence of the same
signal that triggered the original signal handler results in a dead lock
just before calling the nested handler (due to the Signal_context
destruction lock).
2017-02-23 14:54:51 +01:00
..
2016-07-11 13:09:24 +02:00
2015-04-09 16:04:46 +02:00
2015-04-09 16:04:46 +02:00
2015-03-13 12:17:23 +01:00
2016-05-23 15:49:55 +02:00
2015-04-09 16:04:46 +02:00
2015-03-13 12:17:23 +01:00
2016-11-25 15:30:58 +01:00
2015-04-09 16:04:46 +02:00
2015-04-09 16:04:45 +02:00
2016-11-25 15:27:27 +01:00
2016-11-25 15:30:58 +01:00
2016-04-25 10:47:56 +02:00
2015-04-09 16:04:46 +02:00
2016-03-07 12:34:45 +01:00
2016-07-11 12:06:05 +02:00