/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to debian/mandos-client.lintian-overrides

  • Committer: Teddy Hogeborn
  • Date: 2016-03-13 00:37:02 UTC
  • Revision ID: teddy@recompile.se-20160313003702-dulwtwt8ilpojra9
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]): - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
mandos-client binary: manpage-has-errors-from-man usr/share/man/man8/plugin-runner.8mandos.gz 297: warning [p 4, 5.8i]: can't break line
 
1
# This directory contains secret client key files.
 
2
#
2
3
mandos-client binary: non-standard-dir-perm etc/keys/mandos/ 0700 != 0755
3
 
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/mandos-client 4755 root/root
4
 
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/askpass-fifo 4755 root/root
5
 
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/splashy 4755 root/root
6
 
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/usplash 4755 root/root
7
 
mandos-client binary: non-standard-dir-perm usr/lib/mandos/plugins.d/ 0700 != 0755
 
4
 
 
5
# The directory /usr/lib/<arch>/mandos/plugins.d contains setuid
 
6
# binaries which are not meant to be run outside an initial RAM disk
 
7
# environment (except for test purposes).  It would be insecure to
 
8
# allow anyone to run them.
 
9
#
 
10
mandos-client binary: non-standard-dir-perm usr/lib/*/mandos/plugins.d/ 0700 != 0755
 
11
 
 
12
# These binaries must be setuid root, since they need root powers, but
 
13
# are started by plugin-runner(8mandos), which runs all plugins as
 
14
# user/group "_mandos".  These binaries are not run in a running
 
15
# system, but in an initial RAM disk environment.  Here they are
 
16
# protected from non-root access by the directory permissions, above.
 
17
#
 
18
mandos-client binary: setuid-binary usr/lib/*/mandos/plugins.d/mandos-client 4755 root/root
 
19
mandos-client binary: setuid-binary usr/lib/*/mandos/plugins.d/askpass-fifo 4755 root/root
 
20
mandos-client binary: setuid-binary usr/lib/*/mandos/plugins.d/splashy 4755 root/root
 
21
mandos-client binary: setuid-binary usr/lib/*/mandos/plugins.d/usplash 4755 root/root
 
22
mandos-client binary: setuid-binary usr/lib/*/mandos/plugins.d/plymouth 4755 root/root
 
23
 
 
24
# The directory /etc/mandos/plugins.d can be used by local system
 
25
# administrators to place plugins in, overriding and complementing
 
26
# /usr/lib/<arch>/mandos/plugins.d, and must be likewise protected.
 
27
#
 
28
mandos-client binary: non-standard-dir-perm etc/mandos/plugins.d/ 0700 != 0755