diff options
Diffstat (limited to 'docs/rpki-db-schema.sql')
| -rw-r--r-- | docs/rpki-db-schema.sql | 1 |
1 files changed, 1 insertions, 0 deletions
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) ); |