/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

  • Committer: Teddy Hogeborn
  • Date: 2008-07-21 23:18:02 UTC
  • mfrom: (15.1.5 mandos) (15.1.5 mandos)
  • Revision ID: teddy@fukt.bsnet.se-20080721231802-0emzdsxkfy457p9u
merge

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos-clients.conf.xml
1
 
<?xml version="1.0" encoding="UTF-8"?>
2
 
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
3
 
        "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
4
 
<!ENTITY CONFNAME "mandos-clients.conf">
5
 
<!ENTITY CONFPATH "<filename>/etc/mandos/clients.conf</filename>">
6
 
<!ENTITY TIMESTAMP "2013-10-15">
7
 
<!ENTITY % common SYSTEM "common.ent">
8
 
%common;
9
 
]>
10
 
 
11
 
<refentry xmlns:xi="http://www.w3.org/2001/XInclude">
12
 
  <refentryinfo>
13
 
    <title>Mandos Manual</title>
14
 
    <!-- NWalsh’s docbook scripts use this to generate the footer: -->
15
 
    <productname>Mandos</productname>
16
 
    <productnumber>&version;</productnumber>
17
 
    <date>&TIMESTAMP;</date>
18
 
    <authorgroup>
19
 
      <author>
20
 
        <firstname>Björn</firstname>
21
 
        <surname>Påhlsson</surname>
22
 
        <address>
23
 
          <email>belorn@recompile.se</email>
24
 
        </address>
25
 
      </author>
26
 
      <author>
27
 
        <firstname>Teddy</firstname>
28
 
        <surname>Hogeborn</surname>
29
 
        <address>
30
 
          <email>teddy@recompile.se</email>
31
 
        </address>
32
 
      </author>
33
 
    </authorgroup>
34
 
    <copyright>
35
 
      <year>2008</year>
36
 
      <year>2009</year>
37
 
      <year>2010</year>
38
 
      <year>2011</year>
39
 
      <year>2012</year>
40
 
      <holder>Teddy Hogeborn</holder>
41
 
      <holder>Björn Påhlsson</holder>
42
 
    </copyright>
43
 
    <xi:include href="legalnotice.xml"/>
44
 
  </refentryinfo>
45
 
  
46
 
  <refmeta>
47
 
    <refentrytitle>&CONFNAME;</refentrytitle>
48
 
    <manvolnum>5</manvolnum>
49
 
  </refmeta>
50
 
  
51
 
  <refnamediv>
52
 
    <refname><filename>&CONFNAME;</filename></refname>
53
 
    <refpurpose>
54
 
      Configuration file for the Mandos server
55
 
    </refpurpose>
56
 
  </refnamediv>
57
 
  
58
 
  <refsynopsisdiv>
59
 
    <synopsis>&CONFPATH;</synopsis>
60
 
  </refsynopsisdiv>
61
 
  
62
 
  <refsect1 id="description">
63
 
    <title>DESCRIPTION</title>
64
 
    <para>
65
 
      The file &CONFPATH; is a configuration file for <citerefentry
66
 
      ><refentrytitle>mandos</refentrytitle>
67
 
      <manvolnum>8</manvolnum></citerefentry>, read by it at startup.
68
 
      The file needs to list all clients that should be able to use
69
 
      the service.  The settings in this file can be overridden by
70
 
      runtime changes to the server, which it saves across restarts.
71
 
      (See the section called <quote>PERSISTENT STATE</quote> in
72
 
      <citerefentry><refentrytitle>mandos</refentrytitle><manvolnum
73
 
      >8</manvolnum></citerefentry>.)  However, any <emphasis
74
 
      >changes</emphasis> to this file (including adding and removing
75
 
      clients) will, at startup, override changes done during runtime.
76
 
    </para>
77
 
    <para>
78
 
      The format starts with a <literal>[<replaceable>section
79
 
      header</replaceable>]</literal> which is either
80
 
      <literal>[DEFAULT]</literal> or <literal>[<replaceable>client
81
 
      name</replaceable>]</literal>.  The <replaceable>client
82
 
      name</replaceable> can be anything, and is not tied to a host
83
 
      name.  Following the section header is any number of
84
 
      <quote><varname><replaceable>option</replaceable
85
 
      ></varname>=<replaceable>value</replaceable></quote> entries,
86
 
      with continuations in the style of RFC 822.  <quote><varname
87
 
      ><replaceable>option</replaceable></varname>: <replaceable
88
 
      >value</replaceable></quote> is also accepted.  Note that
89
 
      leading whitespace is removed from values.  Values can contain
90
 
      format strings which refer to other values in the same section,
91
 
      or values in the <quote>DEFAULT</quote> section (see <xref
92
 
      linkend="expansion"/>).  Lines beginning with <quote>#</quote>
93
 
      or <quote>;</quote> are ignored and may be used to provide
94
 
      comments.
95
 
    </para>
96
 
  </refsect1>
97
 
  
98
 
  <refsect1 id="options">
99
 
    <title>OPTIONS</title>
100
 
    <para>
101
 
      <emphasis>Note:</emphasis> all option values are subject to
102
 
      start time expansion, see <xref linkend="expansion"/>.
103
 
    </para>
104
 
    <para>
105
 
      Unknown options are ignored.  The used options are as follows:
106
 
    </para>
107
 
    
108
 
    <variablelist>
109
 
      
110
 
      <varlistentry>
111
 
        <term><option>approval_delay<literal> = </literal><replaceable
112
 
        >TIME</replaceable></option></term>
113
 
        <listitem>
114
 
          <para>
115
 
            This option is <emphasis>optional</emphasis>.
116
 
          </para>
117
 
          <para>
118
 
            How long to wait for external approval before resorting to
119
 
            use the <option>approved_by_default</option> value.  The
120
 
            default is <quote>PT0S</quote>, i.e. not to wait.
121
 
          </para>
122
 
          <para>
123
 
            The format of <replaceable>TIME</replaceable> is the same
124
 
            as for <varname>timeout</varname> below.
125
 
          </para>
126
 
        </listitem>
127
 
      </varlistentry>
128
 
      
129
 
      <varlistentry>
130
 
        <term><option>approval_duration<literal> = </literal
131
 
        ><replaceable>TIME</replaceable></option></term>
132
 
        <listitem>
133
 
          <para>
134
 
            This option is <emphasis>optional</emphasis>.
135
 
          </para>
136
 
          <para>
137
 
            How long an external approval lasts.  The default is 1
138
 
            second.
139
 
          </para>
140
 
          <para>
141
 
            The format of <replaceable>TIME</replaceable> is the same
142
 
            as for <varname>timeout</varname> below.
143
 
          </para>
144
 
        </listitem>
145
 
      </varlistentry>
146
 
      
147
 
      <varlistentry>
148
 
        <term><option>approved_by_default<literal> = </literal
149
 
          >{ <literal >1</literal> | <literal>yes</literal> | <literal
150
 
          >true</literal> | <literal>on</literal> | <literal
151
 
          >0</literal> | <literal>no</literal> | <literal
152
 
          >false</literal> | <literal>off</literal> }</option></term>
153
 
        <listitem>
154
 
          <para>
155
 
            Whether to approve a client by default after
156
 
            the <option>approval_delay</option>.  The default
157
 
            is <quote>True</quote>.
158
 
          </para>
159
 
        </listitem>
160
 
      </varlistentry>
161
 
      
162
 
      <varlistentry>
163
 
        <term><option>checker<literal> = </literal><replaceable
164
 
        >COMMAND</replaceable></option></term>
165
 
        <listitem>
166
 
          <para>
167
 
            This option is <emphasis>optional</emphasis>.
168
 
          </para>
169
 
          <para>
170
 
            This option overrides the default shell command that the
171
 
            server will use to check if the client is still up.  Any
172
 
            output of the command will be ignored, only the exit code
173
 
            is checked:  If the exit code of the command is zero, the
174
 
            client is considered up.  The command will be run using
175
 
            <quote><command><filename>/bin/sh</filename>
176
 
            <option>-c</option></command></quote>, so
177
 
            <varname>PATH</varname> will be searched.  The default
178
 
            value for the checker command is <quote><literal
179
 
            ><command>fping</command> <option>-q</option> <option
180
 
            >--</option> %%(host)s</literal></quote>.
181
 
          </para>
182
 
          <para>
183
 
            In addition to normal start time expansion, this option
184
 
            will also be subject to runtime expansion; see <xref
185
 
            linkend="expansion"/>.
186
 
          </para>
187
 
        </listitem>
188
 
      </varlistentry>
189
 
      
190
 
      <varlistentry>
191
 
        <term><option>extended_timeout<literal> = </literal><replaceable
192
 
        >TIME</replaceable></option></term>
193
 
        <listitem>
194
 
          <para>
195
 
            This option is <emphasis>optional</emphasis>.
196
 
          </para>
197
 
          <para>
198
 
            Extended timeout is an added timeout that is given once
199
 
            after a password has been sent successfully to a client.
200
 
            The timeout is by default longer than the normal timeout,
201
 
            and is used for handling the extra long downtime while a
202
 
            machine is booting up.  Time to take into consideration
203
 
            when changing this value is file system checks and quota
204
 
            checks.  The default value is 15 minutes.
205
 
          </para>
206
 
          <para>
207
 
            The format of <replaceable>TIME</replaceable> is the same
208
 
            as for <varname>timeout</varname> below.
209
 
          </para>
210
 
        </listitem>
211
 
      </varlistentry>
212
 
      
213
 
      <varlistentry>
214
 
        <term><option>fingerprint<literal> = </literal
215
 
        ><replaceable>HEXSTRING</replaceable></option></term>
216
 
        <listitem>
217
 
          <para>
218
 
            This option is <emphasis>required</emphasis>.
219
 
          </para>
220
 
          <para>
221
 
            This option sets the OpenPGP fingerprint that identifies
222
 
            the public key that clients authenticate themselves with
223
 
            through TLS.  The string needs to be in hexidecimal form,
224
 
            but spaces or upper/lower case are not significant.
225
 
          </para>
226
 
        </listitem>
227
 
      </varlistentry>
228
 
      
229
 
      <varlistentry>
230
 
        <term><option><literal>host = </literal><replaceable
231
 
        >STRING</replaceable></option></term>
232
 
        <listitem>
233
 
          <para>
234
 
            This option is <emphasis>optional</emphasis>, but highly
235
 
            <emphasis>recommended</emphasis> unless the
236
 
            <option>checker</option> option is modified to a
237
 
            non-standard value without <quote>%%(host)s</quote> in it.
238
 
          </para>
239
 
          <para>
240
 
            Host name for this client.  This is not used by the server
241
 
            directly, but can be, and is by default, used by the
242
 
            checker.  See the <option>checker</option> option.
243
 
          </para>
244
 
        </listitem>
245
 
      </varlistentry>
246
 
      
247
 
      <varlistentry>
248
 
        <term><option>interval<literal> = </literal><replaceable
249
 
        >TIME</replaceable></option></term>
250
 
        <listitem>
251
 
          <para>
252
 
            This option is <emphasis>optional</emphasis>.
253
 
          </para>
254
 
          <para>
255
 
            How often to run the checker to confirm that a client is
256
 
            still up.  <emphasis>Note:</emphasis> a new checker will
257
 
            not be started if an old one is still running.  The server
258
 
            will wait for a checker to complete until the below
259
 
            <quote><varname>timeout</varname></quote> occurs, at which
260
 
            time the client will be disabled, and any running checker
261
 
            killed.  The default interval is 2 minutes.
262
 
          </para>
263
 
          <para>
264
 
            The format of <replaceable>TIME</replaceable> is the same
265
 
            as for <varname>timeout</varname> below.
266
 
          </para>
267
 
        </listitem>
268
 
      </varlistentry>
269
 
      
270
 
      <varlistentry>
271
 
        <term><option>secfile<literal> = </literal><replaceable
272
 
        >FILENAME</replaceable></option></term>
273
 
        <listitem>
274
 
          <para>
275
 
            This option is only used if <option>secret</option> is not
276
 
            specified, in which case this option is
277
 
            <emphasis>required</emphasis>.
278
 
          </para>
279
 
          <para>
280
 
            Similar to the <option>secret</option>, except the secret
281
 
            data is in an external file.  The contents of the file
282
 
            should <emphasis>not</emphasis> be base64-encoded, but
283
 
            will be sent to clients verbatim.
284
 
          </para>
285
 
          <para>
286
 
            File names of the form <filename>~user/foo/bar</filename>
287
 
            and <filename>$<envar>ENVVAR</envar>/foo/bar</filename>
288
 
            are supported.
289
 
          </para>
290
 
        </listitem>
291
 
      </varlistentry>
292
 
      
293
 
      <varlistentry>
294
 
        <term><option>secret<literal> = </literal><replaceable
295
 
        >BASE64_ENCODED_DATA</replaceable></option></term>
296
 
        <listitem>
297
 
          <para>
298
 
            If this option is not specified, the <option
299
 
            >secfile</option> option is <emphasis>required</emphasis>
300
 
            to be present.
301
 
          </para>
302
 
          <para>
303
 
            If present, this option must be set to a string of
304
 
            base64-encoded binary data.  It will be decoded and sent
305
 
            to the client matching the above
306
 
            <option>fingerprint</option>.  This should, of course, be
307
 
            OpenPGP encrypted data, decryptable only by the client.
308
 
            The program <citerefentry><refentrytitle><command
309
 
            >mandos-keygen</command></refentrytitle><manvolnum
310
 
            >8</manvolnum></citerefentry> can, using its
311
 
            <option>--password</option> option, be used to generate
312
 
            this, if desired.
313
 
          </para>
314
 
          <para>
315
 
            Note: this value of this option will probably be very
316
 
            long.  A useful feature to avoid having unreadably-long
317
 
            lines is that a line beginning with white space adds to
318
 
            the value of the previous line, RFC 822-style.
319
 
          </para>
320
 
        </listitem>
321
 
      </varlistentry>
322
 
      
323
 
      <varlistentry>
324
 
        <term><option>timeout<literal> = </literal><replaceable
325
 
        >TIME</replaceable></option></term>
326
 
        <listitem>
327
 
          <para>
328
 
            This option is <emphasis>optional</emphasis>.
329
 
          </para>
330
 
          <para>
331
 
            The timeout is how long the server will wait, after a
332
 
            successful checker run, until a client is disabled and not
333
 
            allowed to get the data this server holds.  By default
334
 
            Mandos will use 5 minutes.  See also the
335
 
            <option>extended_timeout</option> option.
336
 
          </para>
337
 
          <para>
338
 
            The <replaceable>TIME</replaceable> is specified as an RFC
339
 
            3339 duration; for example
340
 
            <quote><literal>P1Y2M3DT4H5M6S</literal></quote> meaning
341
 
            one year, two months, three days, four hours, five
342
 
            minutes, and six seconds.  Some values can be omitted, see
343
 
            RFC 3339 Appendix A for details.
344
 
          </para>
345
 
        </listitem>
346
 
      </varlistentry>
347
 
      
348
 
      <varlistentry>
349
 
        <term><option>enabled<literal> = </literal>{ <literal
350
 
        >1</literal> | <literal>yes</literal> | <literal>true</literal
351
 
        > | <literal >on</literal> | <literal>0</literal> | <literal
352
 
        >no</literal> | <literal>false</literal> | <literal
353
 
        >off</literal> }</option></term>
354
 
        <listitem>
355
 
          <para>
356
 
            Whether this client should be enabled by default.  The
357
 
            default is <quote>true</quote>.
358
 
          </para>
359
 
        </listitem>
360
 
      </varlistentry>
361
 
      
362
 
    </variablelist>
363
 
  </refsect1>
364
 
  
365
 
  <refsect1 id="expansion">
366
 
    <title>EXPANSION</title>
367
 
    <para>
368
 
      There are two forms of expansion: Start time expansion and
369
 
      runtime expansion.
370
 
    </para>
371
 
    <refsect2 id="start_time_expansion">
372
 
      <title>START TIME EXPANSION</title>
373
 
      <para>
374
 
        Any string in an option value of the form
375
 
        <quote><literal>%(<replaceable>foo</replaceable>)s</literal
376
 
        ></quote> will be replaced by the value of the option
377
 
        <varname>foo</varname> either in the same section, or, if it
378
 
        does not exist there, the <literal>[DEFAULT]</literal>
379
 
        section.  This is done at start time, when the configuration
380
 
        file is read.
381
 
      </para>
382
 
      <para>
383
 
        Note that this means that, in order to include an actual
384
 
        percent character (<quote>%</quote>) in an option value, two
385
 
        percent characters in a row (<quote>%%</quote>) must be
386
 
        entered.
387
 
      </para>
388
 
    </refsect2>
389
 
    <refsect2 id="runtime_expansion">
390
 
      <title>RUNTIME EXPANSION</title>
391
 
      <para>
392
 
        This is currently only done for the <varname>checker</varname>
393
 
        option.
394
 
      </para>
395
 
      <para>
396
 
        Any string in an option value of the form
397
 
        <quote><literal>%%(<replaceable>foo</replaceable>)s</literal
398
 
        ></quote> will be replaced by the value of the attribute
399
 
        <varname>foo</varname> of the internal
400
 
        <quote><classname>Client</classname></quote> object in the
401
 
        Mandos server.  The currently allowed values for
402
 
        <replaceable>foo</replaceable> are:
403
 
        <quote><literal>approval_delay</literal></quote>,
404
 
        <quote><literal>approval_duration</literal></quote>,
405
 
        <quote><literal>created</literal></quote>,
406
 
        <quote><literal>enabled</literal></quote>,
407
 
        <quote><literal>expires</literal></quote>,
408
 
        <quote><literal>fingerprint</literal></quote>,
409
 
        <quote><literal>host</literal></quote>,
410
 
        <quote><literal>interval</literal></quote>,
411
 
        <quote><literal>last_approval_request</literal></quote>,
412
 
        <quote><literal>last_checked_ok</literal></quote>,
413
 
        <quote><literal>last_enabled</literal></quote>,
414
 
        <quote><literal>name</literal></quote>,
415
 
        <quote><literal>timeout</literal></quote>, and, if using
416
 
        D-Bus, <quote><literal>dbus_object_path</literal></quote>.
417
 
        See the source code for details.  <emphasis role="strong"
418
 
        >Currently, <emphasis>none</emphasis> of these attributes
419
 
        except <quote><literal>host</literal></quote> are guaranteed
420
 
        to be valid in future versions.</emphasis> Therefore, please
421
 
        let the authors know of any attributes that are useful so they
422
 
        may be preserved to any new versions of this software.
423
 
      </para>
424
 
      <para>
425
 
        Note that this means that, in order to include an actual
426
 
        percent character (<quote>%</quote>) in a
427
 
        <varname>checker</varname> option, <emphasis>four</emphasis>
428
 
        percent characters in a row (<quote>%%%%</quote>) must be
429
 
        entered.  Also, a bad format here will lead to an immediate
430
 
        but <emphasis>silent</emphasis> run-time fatal exit; debug
431
 
        mode is needed to expose an error of this kind.
432
 
      </para>
433
 
    </refsect2>
434
 
    
435
 
  </refsect1>
436
 
  
437
 
  <refsect1 id="files">
438
 
    <title>FILES</title>
439
 
    <para>
440
 
      The file described here is &CONFPATH;
441
 
    </para>
442
 
  </refsect1>
443
 
  
444
 
  <refsect1 id="bugs">
445
 
    <title>BUGS</title>
446
 
    <para>
447
 
      The format for specifying times for <varname>timeout</varname>
448
 
      and <varname>interval</varname> is not very good.
449
 
    </para>
450
 
    <para>
451
 
      The difference between
452
 
      <literal>%%(<replaceable>foo</replaceable>)s</literal> and
453
 
      <literal>%(<replaceable>foo</replaceable>)s</literal> is
454
 
      obscure.
455
 
    </para>
456
 
  </refsect1>
457
 
  
458
 
  <refsect1 id="example">
459
 
    <title>EXAMPLE</title>
460
 
    <informalexample>
461
 
      <programlisting>
462
 
[DEFAULT]
463
 
timeout = PT5M
464
 
interval = PT2M
465
 
checker = fping -q -- %%(host)s
466
 
 
467
 
# Client "foo"
468
 
[foo]
469
 
fingerprint =  7788 2722 5BA7 DE53 9C5A  7CFA 59CF F7CD BD9A 5920
470
 
secret =
471
 
        hQIOA6QdEjBs2L/HEAf/TCyrDe5Xnm9esa+Pb/vWF9CUqfn4srzVgSu234
472
 
        REJMVv7lBSrPE2132Lmd2gqF1HeLKDJRSVxJpt6xoWOChGHg+TMyXDxK+N
473
 
        Xl89vGvdU1XfhKkVm9MDLOgT5ECDPysDGHFPDhqHOSu3Kaw2DWMV/iH9vz
474
 
        3Z20erVNbdcvyBnuojcoWO/6yfB5EQO0BXp7kcyy00USA3CjD5FGZdoQGI
475
 
        Tb8A/ar0tVA5crSQmaSotm6KmNLhrFnZ5BxX+TiE+eTUTqSloWRY6VAvqW
476
 
        QHC7OASxK5E6RXPBuFH5IohUA2Qbk5AHt99pYvsIPX88j2rWauOokoiKZo
477
 
        t/9leJ8VxO5l3wf/U64IH8bkPIoWmWZfd/nqh4uwGNbCgKMyT+AnvH7kMJ
478
 
        3i7DivfWl2mKLV0PyPHUNva0VQxX6yYjcOhj1R6fCr/at8/NSLe2OhLchz
479
 
        dC+Ls9h+kvJXgF8Sisv+Wk/1RadPLFmraRlqvJwt6Ww21LpiXqXHV2mIgq
480
 
        WnR98YgSvUi3TJHrUQiNc9YyBzuRo0AjgG2C9qiE3FM+Y28+iQ/sR3+bFs
481
 
        zYuZKVTObqiIslwXu7imO0cvvFRgJF/6u3HNFQ4LUTGhiM3FQmC6NNlF3/
482
 
        vJM2hwRDMcJqDd54Twx90Wh+tYz0z7QMsK4ANXWHHWHR0JchnLWmenzbtW
483
 
        5MHdW9AYsNJZAQSOpirE4Xi31CSlWAi9KV+cUCmWF5zOFy1x23P6PjdaRm
484
 
        4T2zw4dxS5NswXWU0sVEXxjs6PYxuIiCTL7vdpx8QjBkrPWDrAbcMyBr2O
485
 
        QlnHIvPzEArRQLo=
486
 
host = foo.example.org
487
 
interval = PT1M
488
 
 
489
 
# Client "bar"
490
 
[bar]
491
 
fingerprint = 3e393aeaefb84c7e89e2f547b3a107558fca3a27
492
 
secfile = /etc/mandos/bar-secret
493
 
timeout = PT15M
494
 
approved_by_default = False
495
 
approval_delay = PT30S
496
 
      </programlisting>
497
 
    </informalexample>
498
 
  </refsect1>
499
 
  
500
 
  <refsect1 id="see_also">
501
 
    <title>SEE ALSO</title>
502
 
    <para>
503
 
      <citerefentry><refentrytitle>intro</refentrytitle>
504
 
      <manvolnum>8mandos</manvolnum></citerefentry>,
505
 
      <citerefentry><refentrytitle>mandos-keygen</refentrytitle>
506
 
      <manvolnum>8</manvolnum></citerefentry>,
507
 
      <citerefentry><refentrytitle>mandos.conf</refentrytitle>
508
 
      <manvolnum>5</manvolnum></citerefentry>,
509
 
      <citerefentry><refentrytitle>mandos</refentrytitle>
510
 
      <manvolnum>8</manvolnum></citerefentry>,
511
 
      <citerefentry><refentrytitle>fping</refentrytitle>
512
 
      <manvolnum>8</manvolnum></citerefentry>
513
 
    </para>
514
 
    <variablelist>
515
 
      <varlistentry>
516
 
        <term>
517
 
          RFC 3339: <citetitle>Date and Time on the Internet:
518
 
          Timestamps</citetitle>
519
 
        </term>
520
 
      <listitem>
521
 
        <para>
522
 
          The time intervals are in the "duration" format, as
523
 
          specified in ABNF in Appendix A of RFC 3339.
524
 
        </para>
525
 
      </listitem>
526
 
      </varlistentry>
527
 
    </variablelist>
528
 
  </refsect1>
529
 
</refentry>
530
 
<!-- Local Variables: -->
531
 
<!-- time-stamp-start: "<!ENTITY TIMESTAMP [\"']" -->
532
 
<!-- time-stamp-end: "[\"']>" -->
533
 
<!-- time-stamp-format: "%:y-%02m-%02d" -->
534
 
<!-- End: -->