/mandos/release

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

« back to all changes in this revision

Viewing changes to mandos-monitor.xml

  • Committer: Teddy Hogeborn
  • Date: 2016-03-17 21:14:12 UTC
  • mto: (237.7.594 trunk)
  • mto: This revision was merged to the branch mainline in revision 341.
  • Revision ID: teddy@recompile.se-20160317211412-yp8msw4v4ifx4i4x
Client: Remove dead code in plugin-runner

WCOREDUMP is always a subset of WTERMSIG; ignore WCOREDUMP.

* plugin-runner.c (main): Remove WCOREDUMP clause.

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos-monitor.xml
199
199
    <title>BUGS</title>
200
200
    <para>
201
201
      This program can currently only be used to monitor and control a
202
 
      Mandos server with the default D-Bus service name of
203
 
      <quote>Mandos</quote>.
 
202
      Mandos server with the default D-Bus bus name of
 
203
      <quote>se.recompile.Mandos</quote>.
204
204
    </para>
205
205
    <xi:include href="bugs.xml"/>
206
206
  </refsect1>