Giulio Eulisse 20544e1f18 Do not handle double SIGTERM as abort ...

A double SIGTERM, or even worse a SIGINT + SIGTERM combination should
not result in an abort, given such a signal really means "die whenever
you want" and can only be generated programmatically. If one wants the
child to die programmatically, they should use SIGKILL.

On the other hand that bashing ctrl-c (i.e. SIGINT) multiple times
on the keyboard really means abort.

2020-05-20 12:14:18 +02:00

..

config

Shm: throw on bad_alloc, option to disable

2020-05-18 14:32:19 +02:00

DDS

SDK: send heartbeats when subscribed to state changes

2020-04-10 18:40:14 +02:00

PMIx

SDK: send heartbeats when subscribed to state changes

2020-04-10 18:40:14 +02:00

Builtin.h

Add config plugin class.

2019-07-10 19:35:18 +02:00

Control.cxx

Do not handle double SIGTERM as abort

2020-05-20 12:14:18 +02:00

Control.h

Extract state queue into own class. Use in device, plugins

2019-07-19 14:45:27 +02:00