diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/left-right-xml | 1 | ||||
| -rw-r--r-- | docs/rpki-db-schema.pdf | bin | 7305 -> 7336 bytes | |||
| -rw-r--r-- | docs/rpki-db-schema.sql | 1 |
3 files changed, 2 insertions, 0 deletions
diff --git a/docs/left-right-xml b/docs/left-right-xml index 1f9b983f..70e6a05f 100644 --- a/docs/left-right-xml +++ b/docs/left-right-xml @@ -40,6 +40,7 @@ publish_world_now="yes" clear_extension_preferences="yes" crl_interval="3600" + regen_margin="86400" use_hsm="no"> <extension_preference name="color">Blue</extension_preference> </self> diff --git a/docs/rpki-db-schema.pdf b/docs/rpki-db-schema.pdf Binary files differindex a9f2e89b..9b8b5a3b 100644 --- a/docs/rpki-db-schema.pdf +++ b/docs/rpki-db-schema.pdf diff --git a/docs/rpki-db-schema.sql b/docs/rpki-db-schema.sql index 87cb552b..4f8f8e1b 100644 --- a/docs/rpki-db-schema.sql +++ b/docs/rpki-db-schema.sql @@ -20,6 +20,7 @@ CREATE TABLE self ( self_id SERIAL NOT NULL, use_hsm BOOLEAN, crl_interval BIGINT unsigned, + regen_margin BIGINT unsigned, PRIMARY KEY (self_id) ); |