diff options
| -rw-r--r-- | docs/left-right-xml | 4 | ||||
| -rw-r--r-- | docs/rpki-db-schema.sql | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/docs/left-right-xml b/docs/left-right-xml index ead5c64f..7228b35e 100644 --- a/docs/left-right-xml +++ b/docs/left-right-xml @@ -24,7 +24,9 @@ revoke="yes" run_now="yes" publish_world_now="yes" - clear_extension_preferences="yes"> + clear_extension_preferences="yes" + crl_interval="3600" + use_hsm="no"> <extension_preference name="color">Blue</extension_preference> </self> </msg> diff --git a/docs/rpki-db-schema.sql b/docs/rpki-db-schema.sql index f5651dd3..8cdf5ff8 100644 --- a/docs/rpki-db-schema.sql +++ b/docs/rpki-db-schema.sql @@ -76,11 +76,11 @@ DROP TABLE IF EXISTS ca; CREATE TABLE ca ( ca_id SERIAL NOT NULL, - last_crl_sn BIGINT unsigned, - last_manifest_sn BIGINT unsigned, + last_crl_sn BIGINT unsigned NOT NULL, + last_manifest_sn BIGINT unsigned NOT NULL, next_manifest_update DATETIME, next_crl_update DATETIME, - last_issued_sn BIGINT unsigned, + last_issued_sn BIGINT unsigned NOT NULL, sia_uri TEXT, parent_resource_class TEXT, parent_id BIGINT unsigned, |