session: make sure signals set is initialized
authorStefan Brüns <stefan.bruens@rwth-aachen.de>
Fri, 27 Nov 2015 00:20:13 +0000 (01:20 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Mon, 21 Dec 2015 14:38:57 +0000 (15:38 +0100)
This fixes parts of bug #387.


No differences found