/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-clients.conf.xml

More consistent terminology: Clients are no longer "invalid" - they
are "disabled".  All code and documentation changed to reflect this.

D=Bus API change: The "properties" argument was removed from the
"ClientAdded" signal on interface "se.bsnet.fukt.Mandos".  All code in
both "mandos" and "mandos-monitor" changed to reflect this.

* mandos: Replaced "with closing(F)" with simply "with F" in all
          places where F is a file object.
  (Client.still_valid): Removed.  All callers changed to look at
                        "Client.enabled" instead.
  (dbus_service_property): Check for unsupported signatures with the
                           "byte_arrays" option.
  (DBusObjectWithProperties.Set): - '' -
  (ClientHandler.handle): Use the reverse pipe to receive the
                          "Client.enabled" attribute instead of the
                          now-removed "Client.still_valid()" method.
  (ForkingMixInWithPipe): Renamed to "ForkingMixInWithPipes" (all
                          users changed).  Now also create a reverse
                          pipe for sending data to the child process.
  (ForkingMixInWithPipes.add_pipe): Now takes two pipe fd's as
                                    arguments.  All callers changed.
  (IPv6_TCPServer.handle_ipc): Take an additional "reply_fd" argument
                               (all callers changed).  Close the reply
                               pipe when the child data pipe is
                               closed.  New "GETATTR" IPC method; will
                               pickle client attribute and send it
                               over the reply pipe FD.
  (MandosDBusService.ClientAdded): Removed "properties" argument.  All
                                   emitters changed.
* mandos-clients.conf.xml (DESCRIPTION, OPTIONS): Use
                                                  "enabled/disabled"
                                                  terminology.
* mandos-ctl: Option "--is-valid" renamed to "--is-enabled".
* mandos-monitor: Enable user locale.  Try to log exceptions.
  (MandosClientPropertyCache.__init__): Removed "properties" argument.
                                        All callers changed.
  (UserInterface.add_new_client): Remove "properties" argument.  All
                                  callers changed.  Supply "logger"
                                  argument to MandosClientWidget().
  (UserInterface.add_client): New "logger" argument.  All callers
                              changed.
* mandos.xml (BUGS, SECURITY/CLIENTS): Use "enabled/disabled"
                                       terminology.

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos-clients.conf.xml
3
3
        "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
4
4
<!ENTITY CONFNAME "mandos-clients.conf">
5
5
<!ENTITY CONFPATH "<filename>/etc/mandos/clients.conf</filename>">
6
 
<!ENTITY TIMESTAMP "2019-02-10">
 
6
<!ENTITY TIMESTAMP "2009-12-09">
7
7
<!ENTITY % common SYSTEM "common.ent">
8
8
%common;
9
9
]>
20
20
        <firstname>Björn</firstname>
21
21
        <surname>Påhlsson</surname>
22
22
        <address>
23
 
          <email>belorn@recompile.se</email>
 
23
          <email>belorn@fukt.bsnet.se</email>
24
24
        </address>
25
25
      </author>
26
26
      <author>
27
27
        <firstname>Teddy</firstname>
28
28
        <surname>Hogeborn</surname>
29
29
        <address>
30
 
          <email>teddy@recompile.se</email>
 
30
          <email>teddy@fukt.bsnet.se</email>
31
31
        </address>
32
32
      </author>
33
33
    </authorgroup>
34
34
    <copyright>
35
35
      <year>2008</year>
36
36
      <year>2009</year>
37
 
      <year>2010</year>
38
 
      <year>2011</year>
39
 
      <year>2012</year>
40
 
      <year>2013</year>
41
 
      <year>2014</year>
42
 
      <year>2015</year>
43
 
      <year>2016</year>
44
 
      <year>2017</year>
45
 
      <year>2018</year>
46
 
      <year>2019</year>
47
37
      <holder>Teddy Hogeborn</holder>
48
38
      <holder>Björn Påhlsson</holder>
49
39
    </copyright>
73
63
      ><refentrytitle>mandos</refentrytitle>
74
64
      <manvolnum>8</manvolnum></citerefentry>, read by it at startup.
75
65
      The file needs to list all clients that should be able to use
76
 
      the service.  The settings in this file can be overridden by
77
 
      runtime changes to the server, which it saves across restarts.
78
 
      (See the section called <quote>PERSISTENT STATE</quote> in
79
 
      <citerefentry><refentrytitle>mandos</refentrytitle><manvolnum
80
 
      >8</manvolnum></citerefentry>.)  However, any <emphasis
81
 
      >changes</emphasis> to this file (including adding and removing
82
 
      clients) will, at startup, override changes done during runtime.
 
66
      the service.  All clients listed will be regarded as enabled,
 
67
      even if a client was disabled in a previous run of the server.
83
68
    </para>
84
69
    <para>
85
70
      The format starts with a <literal>[<replaceable>section
115
100
    <variablelist>
116
101
      
117
102
      <varlistentry>
118
 
        <term><option>approval_delay<literal> = </literal><replaceable
119
 
        >TIME</replaceable></option></term>
120
 
        <listitem>
121
 
          <para>
122
 
            This option is <emphasis>optional</emphasis>.
123
 
          </para>
124
 
          <para>
125
 
            How long to wait for external approval before resorting to
126
 
            use the <option>approved_by_default</option> value.  The
127
 
            default is <quote>PT0S</quote>, i.e. not to wait.
128
 
          </para>
129
 
          <para>
130
 
            The format of <replaceable>TIME</replaceable> is the same
131
 
            as for <varname>timeout</varname> below.
132
 
          </para>
133
 
        </listitem>
134
 
      </varlistentry>
135
 
      
136
 
      <varlistentry>
137
 
        <term><option>approval_duration<literal> = </literal
138
 
        ><replaceable>TIME</replaceable></option></term>
139
 
        <listitem>
140
 
          <para>
141
 
            This option is <emphasis>optional</emphasis>.
142
 
          </para>
143
 
          <para>
144
 
            How long an external approval lasts.  The default is 1
145
 
            second.
146
 
          </para>
147
 
          <para>
148
 
            The format of <replaceable>TIME</replaceable> is the same
149
 
            as for <varname>timeout</varname> below.
150
 
          </para>
151
 
        </listitem>
152
 
      </varlistentry>
153
 
      
154
 
      <varlistentry>
155
 
        <term><option>approved_by_default<literal> = </literal
156
 
          >{ <literal >1</literal> | <literal>yes</literal> | <literal
157
 
          >true</literal> | <literal>on</literal> | <literal
158
 
          >0</literal> | <literal>no</literal> | <literal
159
 
          >false</literal> | <literal>off</literal> }</option></term>
160
 
        <listitem>
161
 
          <para>
162
 
            Whether to approve a client by default after
163
 
            the <option>approval_delay</option>.  The default
164
 
            is <quote>True</quote>.
 
103
        <term><option>timeout<literal> = </literal><replaceable
 
104
        >TIME</replaceable></option></term>
 
105
        <listitem>
 
106
          <para>
 
107
            This option is <emphasis>optional</emphasis>.
 
108
          </para>
 
109
          <para>
 
110
            The timeout is how long the server will wait (for either a
 
111
            successful checker run or a client receiving its secret)
 
112
            until a client is disabled and not allowed to get the data
 
113
            this server holds.  By default Mandos will use 1 hour.
 
114
          </para>
 
115
          <para>
 
116
            The <replaceable>TIME</replaceable> is specified as a
 
117
            space-separated number of values, each of which is a
 
118
            number and a one-character suffix.  The suffix must be one
 
119
            of <quote>d</quote>, <quote>s</quote>, <quote>m</quote>,
 
120
            <quote>h</quote>, and <quote>w</quote> for days, seconds,
 
121
            minutes, hours, and weeks, respectively.  The values are
 
122
            added together to give the total time value, so all of
 
123
            <quote><literal>330s</literal></quote>,
 
124
            <quote><literal>110s 110s 110s</literal></quote>, and
 
125
            <quote><literal>5m 30s</literal></quote> will give a value
 
126
            of five minutes and thirty seconds.
 
127
          </para>
 
128
        </listitem>
 
129
      </varlistentry>
 
130
      
 
131
      <varlistentry>
 
132
        <term><option>interval<literal> = </literal><replaceable
 
133
        >TIME</replaceable></option></term>
 
134
        <listitem>
 
135
          <para>
 
136
            This option is <emphasis>optional</emphasis>.
 
137
          </para>
 
138
          <para>
 
139
            How often to run the checker to confirm that a client is
 
140
            still up.  <emphasis>Note:</emphasis> a new checker will
 
141
            not be started if an old one is still running.  The server
 
142
            will wait for a checker to complete until the above
 
143
            <quote><varname>timeout</varname></quote> occurs, at which
 
144
            time the client will be disabled, and any running checker
 
145
            killed.  The default interval is 5 minutes.
 
146
          </para>
 
147
          <para>
 
148
            The format of <replaceable>TIME</replaceable> is the same
 
149
            as for <varname>timeout</varname> above.
165
150
          </para>
166
151
        </listitem>
167
152
      </varlistentry>
174
159
            This option is <emphasis>optional</emphasis>.
175
160
          </para>
176
161
          <para>
177
 
            This option overrides the default shell command that the
178
 
            server will use to check if the client is still up.  Any
179
 
            output of the command will be ignored, only the exit code
180
 
            is checked:  If the exit code of the command is zero, the
181
 
            client is considered up.  The command will be run using
182
 
            <quote><command><filename>/bin/sh</filename>
 
162
            This option allows you to override the default shell
 
163
            command that the server will use to check if the client is
 
164
            still up.  Any output of the command will be ignored, only
 
165
            the exit code is checked:  If the exit code of the command
 
166
            is zero, the client is considered up.  The command will be
 
167
            run using <quote><command><filename>/bin/sh</filename>
183
168
            <option>-c</option></command></quote>, so
184
169
            <varname>PATH</varname> will be searched.  The default
185
170
            value for the checker command is <quote><literal
186
171
            ><command>fping</command> <option>-q</option> <option
187
 
            >--</option> %%(host)s</literal></quote>.  Note that
188
 
            <command>mandos-keygen</command>, when generating output
189
 
            to be inserted into this file, normally looks for an SSH
190
 
            server on the Mandos client, and, if it finds one, outputs
191
 
            a <option>checker</option> option to check for the
192
 
            client’s SSH key fingerprint – this is more secure against
193
 
            spoofing.
 
172
            >--</option> %%(host)s</literal></quote>.
194
173
          </para>
195
174
          <para>
196
175
            In addition to normal start time expansion, this option
201
180
      </varlistentry>
202
181
      
203
182
      <varlistentry>
204
 
        <term><option>extended_timeout<literal> = </literal><replaceable
205
 
        >TIME</replaceable></option></term>
206
 
        <listitem>
207
 
          <para>
208
 
            This option is <emphasis>optional</emphasis>.
209
 
          </para>
210
 
          <para>
211
 
            Extended timeout is an added timeout that is given once
212
 
            after a password has been sent successfully to a client.
213
 
            The timeout is by default longer than the normal timeout,
214
 
            and is used for handling the extra long downtime while a
215
 
            machine is booting up.  Time to take into consideration
216
 
            when changing this value is file system checks and quota
217
 
            checks.  The default value is 15 minutes.
218
 
          </para>
219
 
          <para>
220
 
            The format of <replaceable>TIME</replaceable> is the same
221
 
            as for <varname>timeout</varname> below.
222
 
          </para>
223
 
        </listitem>
224
 
      </varlistentry>
225
 
      
226
 
      <varlistentry>
227
183
        <term><option>fingerprint<literal> = </literal
228
184
        ><replaceable>HEXSTRING</replaceable></option></term>
229
185
        <listitem>
230
186
          <para>
231
 
            This option is <emphasis>required</emphasis> if the
232
 
            <option>key_id</option> is not set, and
233
 
            <emphasis>optional</emphasis> otherwise.
234
 
          </para>
235
 
          <para>
236
 
            This option sets the OpenPGP fingerprint that (before
237
 
            GnuTLS 3.6.0) identified the public key that clients
238
 
            authenticate themselves with through TLS.  The string
239
 
            needs to be in hexadecimal form, but spaces or upper/lower
240
 
            case are not significant.
241
 
          </para>
242
 
        </listitem>
243
 
      </varlistentry>
244
 
      
245
 
      <varlistentry>
246
 
        <term><option>key_id<literal> = </literal
247
 
        ><replaceable>HEXSTRING</replaceable></option></term>
248
 
        <listitem>
249
 
          <para>
250
 
            This option is <emphasis>required</emphasis> if the
251
 
            <option>fingerprint</option> is not set, and
252
 
            <emphasis>optional</emphasis> otherwise.
253
 
          </para>
254
 
          <para>
255
 
            This option sets the certificate key ID that (with GnuTLS
256
 
            3.6.6 or later) identifies the public key that clients
257
 
            authenticate themselves with through TLS.  The string
258
 
            needs to be in hexadecimal form, but spaces or upper/lower
259
 
            case are not significant.
260
 
          </para>
261
 
        </listitem>
262
 
      </varlistentry>
263
 
      
264
 
      <varlistentry>
265
 
        <term><option><literal>host = </literal><replaceable
266
 
        >STRING</replaceable></option></term>
267
 
        <listitem>
268
 
          <para>
269
 
            This option is <emphasis>optional</emphasis>, but highly
270
 
            <emphasis>recommended</emphasis> unless the
271
 
            <option>checker</option> option is modified to a
272
 
            non-standard value without <quote>%%(host)s</quote> in it.
273
 
          </para>
274
 
          <para>
275
 
            Host name for this client.  This is not used by the server
276
 
            directly, but can be, and is by default, used by the
277
 
            checker.  See the <option>checker</option> option.
278
 
          </para>
279
 
        </listitem>
280
 
      </varlistentry>
281
 
      
282
 
      <varlistentry>
283
 
        <term><option>interval<literal> = </literal><replaceable
284
 
        >TIME</replaceable></option></term>
285
 
        <listitem>
286
 
          <para>
287
 
            This option is <emphasis>optional</emphasis>.
288
 
          </para>
289
 
          <para>
290
 
            How often to run the checker to confirm that a client is
291
 
            still up.  <emphasis>Note:</emphasis> a new checker will
292
 
            not be started if an old one is still running.  The server
293
 
            will wait for a checker to complete until the below
294
 
            <quote><varname>timeout</varname></quote> occurs, at which
295
 
            time the client will be disabled, and any running checker
296
 
            killed.  The default interval is 2 minutes.
297
 
          </para>
298
 
          <para>
299
 
            The format of <replaceable>TIME</replaceable> is the same
300
 
            as for <varname>timeout</varname> below.
301
 
          </para>
302
 
        </listitem>
303
 
      </varlistentry>
304
 
      
305
 
      <varlistentry>
306
 
        <term><option>secfile<literal> = </literal><replaceable
307
 
        >FILENAME</replaceable></option></term>
308
 
        <listitem>
309
 
          <para>
310
 
            This option is only used if <option>secret</option> is not
311
 
            specified, in which case this option is
312
 
            <emphasis>required</emphasis>.
313
 
          </para>
314
 
          <para>
315
 
            Similar to the <option>secret</option>, except the secret
316
 
            data is in an external file.  The contents of the file
317
 
            should <emphasis>not</emphasis> be base64-encoded, but
318
 
            will be sent to clients verbatim.
319
 
          </para>
320
 
          <para>
321
 
            File names of the form <filename>~user/foo/bar</filename>
322
 
            and <filename>$<envar>ENVVAR</envar>/foo/bar</filename>
323
 
            are supported.
 
187
            This option is <emphasis>required</emphasis>.
 
188
          </para>
 
189
          <para>
 
190
            This option sets the OpenPGP fingerprint that identifies
 
191
            the public key that clients authenticate themselves with
 
192
            through TLS.  The string needs to be in hexidecimal form,
 
193
            but spaces or upper/lower case are not significant.
324
194
          </para>
325
195
        </listitem>
326
196
      </varlistentry>
337
207
          <para>
338
208
            If present, this option must be set to a string of
339
209
            base64-encoded binary data.  It will be decoded and sent
340
 
            to the client matching the above <option>key_id</option>
341
 
            or <option>fingerprint</option>.  This should, of course,
342
 
            be OpenPGP encrypted data, decryptable only by the client.
 
210
            to the client matching the above
 
211
            <option>fingerprint</option>.  This should, of course, be
 
212
            OpenPGP encrypted data, decryptable only by the client.
343
213
            The program <citerefentry><refentrytitle><command
344
214
            >mandos-keygen</command></refentrytitle><manvolnum
345
215
            >8</manvolnum></citerefentry> can, using its
356
226
      </varlistentry>
357
227
      
358
228
      <varlistentry>
359
 
        <term><option>timeout<literal> = </literal><replaceable
360
 
        >TIME</replaceable></option></term>
 
229
        <term><option>secfile<literal> = </literal><replaceable
 
230
        >FILENAME</replaceable></option></term>
361
231
        <listitem>
362
232
          <para>
363
 
            This option is <emphasis>optional</emphasis>.
364
 
          </para>
365
 
          <para>
366
 
            The timeout is how long the server will wait, after a
367
 
            successful checker run, until a client is disabled and not
368
 
            allowed to get the data this server holds.  By default
369
 
            Mandos will use 5 minutes.  See also the
370
 
            <option>extended_timeout</option> option.
371
 
          </para>
372
 
          <para>
373
 
            The <replaceable>TIME</replaceable> is specified as an RFC
374
 
            3339 duration; for example
375
 
            <quote><literal>P1Y2M3DT4H5M6S</literal></quote> meaning
376
 
            one year, two months, three days, four hours, five
377
 
            minutes, and six seconds.  Some values can be omitted, see
378
 
            RFC 3339 Appendix A for details.
 
233
            This option is only used if <option>secret</option> is not
 
234
            specified, in which case this option is
 
235
            <emphasis>required</emphasis>.
 
236
          </para>
 
237
          <para>
 
238
            Similar to the <option>secret</option>, except the secret
 
239
            data is in an external file.  The contents of the file
 
240
            should <emphasis>not</emphasis> be base64-encoded, but
 
241
            will be sent to clients verbatim.
 
242
          </para>
 
243
          <para>
 
244
            File names of the form <filename>~user/foo/bar</filename>
 
245
            and <filename>$<envar>ENVVAR</envar>/foo/bar</filename>
 
246
            are supported.
379
247
          </para>
380
248
        </listitem>
381
249
      </varlistentry>
382
250
      
383
251
      <varlistentry>
384
 
        <term><option>enabled<literal> = </literal>{ <literal
385
 
        >1</literal> | <literal>yes</literal> | <literal>true</literal
386
 
        > | <literal >on</literal> | <literal>0</literal> | <literal
387
 
        >no</literal> | <literal>false</literal> | <literal
388
 
        >off</literal> }</option></term>
 
252
        <term><option><literal>host = </literal><replaceable
 
253
        >STRING</replaceable></option></term>
389
254
        <listitem>
390
255
          <para>
391
 
            Whether this client should be enabled by default.  The
392
 
            default is <quote>true</quote>.
 
256
            This option is <emphasis>optional</emphasis>, but highly
 
257
            <emphasis>recommended</emphasis> unless the
 
258
            <option>checker</option> option is modified to a
 
259
            non-standard value without <quote>%%(host)s</quote> in it.
 
260
          </para>
 
261
          <para>
 
262
            Host name for this client.  This is not used by the server
 
263
            directly, but can be, and is by default, used by the
 
264
            checker.  See the <option>checker</option> option.
393
265
          </para>
394
266
        </listitem>
395
267
      </varlistentry>
432
304
        <quote><literal>%%(<replaceable>foo</replaceable>)s</literal
433
305
        ></quote> will be replaced by the value of the attribute
434
306
        <varname>foo</varname> of the internal
435
 
        <quote><classname>Client</classname></quote> object in the
436
 
        Mandos server.  The currently allowed values for
437
 
        <replaceable>foo</replaceable> are:
438
 
        <quote><literal>approval_delay</literal></quote>,
439
 
        <quote><literal>approval_duration</literal></quote>,
440
 
        <quote><literal>created</literal></quote>,
441
 
        <quote><literal>enabled</literal></quote>,
442
 
        <quote><literal>expires</literal></quote>,
443
 
        <quote><literal>key_id</literal></quote>,
444
 
        <quote><literal>fingerprint</literal></quote>,
445
 
        <quote><literal>host</literal></quote>,
446
 
        <quote><literal>interval</literal></quote>,
447
 
        <quote><literal>last_approval_request</literal></quote>,
448
 
        <quote><literal>last_checked_ok</literal></quote>,
449
 
        <quote><literal>last_enabled</literal></quote>,
450
 
        <quote><literal>name</literal></quote>,
451
 
        <quote><literal>timeout</literal></quote>, and, if using
452
 
        D-Bus, <quote><literal>dbus_object_path</literal></quote>.
453
 
        See the source code for details.  <emphasis role="strong"
454
 
        >Currently, <emphasis>none</emphasis> of these attributes
455
 
        except <quote><literal>host</literal></quote> are guaranteed
456
 
        to be valid in future versions.</emphasis> Therefore, please
457
 
        let the authors know of any attributes that are useful so they
458
 
        may be preserved to any new versions of this software.
 
307
        <quote><classname>Client</classname></quote> object.  See the
 
308
        source code for details, and let the authors know of any
 
309
        attributes that are useful so they may be preserved to any new
 
310
        versions of this software.
459
311
      </para>
460
312
      <para>
461
313
        Note that this means that, in order to include an actual
489
341
      <literal>%(<replaceable>foo</replaceable>)s</literal> is
490
342
      obscure.
491
343
    </para>
492
 
    <xi:include href="bugs.xml"/>
493
344
  </refsect1>
494
345
  
495
346
  <refsect1 id="example">
497
348
    <informalexample>
498
349
      <programlisting>
499
350
[DEFAULT]
500
 
timeout = PT5M
501
 
interval = PT2M
 
351
timeout = 1h
 
352
interval = 5m
502
353
checker = fping -q -- %%(host)s
503
354
 
504
355
# Client "foo"
505
356
[foo]
506
 
key_id = 788cd77115cd0bb7b2d5e0ae8496f6b48149d5e712c652076b1fd2d957ef7c1f
507
357
fingerprint =  7788 2722 5BA7 DE53 9C5A  7CFA 59CF F7CD BD9A 5920
508
358
secret =
509
359
        hQIOA6QdEjBs2L/HEAf/TCyrDe5Xnm9esa+Pb/vWF9CUqfn4srzVgSu234
522
372
        4T2zw4dxS5NswXWU0sVEXxjs6PYxuIiCTL7vdpx8QjBkrPWDrAbcMyBr2O
523
373
        QlnHIvPzEArRQLo=
524
374
host = foo.example.org
525
 
interval = PT1M
 
375
interval = 1m
526
376
 
527
377
# Client "bar"
528
378
[bar]
529
 
key_id = F90C7A81D72D1EA69A51031A91FF8885F36C8B46D155C8C58709A4C99AE9E361
530
379
fingerprint = 3e393aeaefb84c7e89e2f547b3a107558fca3a27
531
380
secfile = /etc/mandos/bar-secret
532
 
timeout = PT15M
533
 
approved_by_default = False
534
 
approval_delay = PT30S
 
381
timeout = 15m
535
382
      </programlisting>
536
383
    </informalexample>
537
384
  </refsect1>
539
386
  <refsect1 id="see_also">
540
387
    <title>SEE ALSO</title>
541
388
    <para>
542
 
      <citerefentry><refentrytitle>intro</refentrytitle>
543
 
      <manvolnum>8mandos</manvolnum></citerefentry>,
544
389
      <citerefentry><refentrytitle>mandos-keygen</refentrytitle>
545
390
      <manvolnum>8</manvolnum></citerefentry>,
546
391
      <citerefentry><refentrytitle>mandos.conf</refentrytitle>
547
392
      <manvolnum>5</manvolnum></citerefentry>,
548
393
      <citerefentry><refentrytitle>mandos</refentrytitle>
549
 
      <manvolnum>8</manvolnum></citerefentry>,
550
 
      <citerefentry><refentrytitle>fping</refentrytitle>
551
394
      <manvolnum>8</manvolnum></citerefentry>
552
395
    </para>
553
 
    <variablelist>
554
 
      <varlistentry>
555
 
        <term>
556
 
          RFC 3339: <citetitle>Date and Time on the Internet:
557
 
          Timestamps</citetitle>
558
 
        </term>
559
 
      <listitem>
560
 
        <para>
561
 
          The time intervals are in the "duration" format, as
562
 
          specified in ABNF in Appendix A of RFC 3339.
563
 
        </para>
564
 
      </listitem>
565
 
      </varlistentry>
566
 
    </variablelist>
567
396
  </refsect1>
568
397
</refentry>
569
398
<!-- Local Variables: -->