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