Server: Fix bug where it did not exit timely on signals
Use GLib.unix_signal_add() instead of signal.signal() to catch signals; this will allow GLib to do its internal magic with signal file descriptors. (GLib does not handle signals properly otherwise.) The function unix_signal_add() requires GLib 2.30 or later, which was not required by PyGobject until version 3.7.1, so depend on this.
* INSTALL (Mandos Server): Document dependency on PyGObject 3.7.1 * mandos (main): Use GLib.unix_signal_add instead of signal.signal. * init.d-mandos (do_stop): Remove workaround. * mandos.service ([Service]): - '' -