diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/rpki-db-schema.pdf | bin | 5689 -> 5705 bytes | |||
| -rw-r--r-- | docs/rpki-db-schema.sql | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/docs/rpki-db-schema.pdf b/docs/rpki-db-schema.pdf Binary files differindex 5349aef2..46acd1b8 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 0c9eb531..42f99395 100644 --- a/docs/rpki-db-schema.sql +++ b/docs/rpki-db-schema.sql @@ -5,6 +5,7 @@ DROP TABLE IF EXISTS self; CREATE TABLE self ( self_id SERIAL NOT NULL, use_hsm BOOLEAN, + crl_interval BIGINT unsigned, PRIMARY KEY (self_id) ); |