Shut down the signal subsystem on exit.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 3 Jan 2015 16:16:02 +0000 (16:16 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 6 Jan 2015 19:55:32 +0000 (20:55 +0100)
commit31638f52b0fe420f4881dca4afdecf7132d1ab91
treeeff5d634733a03d273f5a5ce4d50080dc21cb90d
parent295c0a7cf995629a9c174d3d24c171a744d3abf4
Shut down the signal subsystem on exit.

No biggy since we exit anyway a few lines later, but still..
dss.c