From a0d1905ce80cc422492adcdbb30abd09d537e61b Mon Sep 17 00:00:00 2001 From: leo Date: Sat, 13 May 2023 22:03:57 +0200 Subject: [PATCH] schema: add Session.MaxAge attr --- package.dhall | 4 ++-- schema.dhall | 2 ++ validate.dhall | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/package.dhall b/package.dhall index 58386ca..340e647 100644 --- a/package.dhall +++ b/package.dhall @@ -1,10 +1,10 @@ { Schema = ./schema.dhall - sha256:0887e924cad7f0c3c56bd096e00f5866c1190f8bf3aa4b91b8d1f82729386f90 + sha256:2e7490953649881f93eec24109ef7a93738ab8fab8ccf40c33260af7faf413a5 ? ./schema.dhall , Schema/validate = ./validate.dhall - sha256:9604bd657ec02f01a1f40d2a3c23c472b172fcaa2e7a7101d59ebacc955dbac9 + sha256:8d309832e89fab8babec5b1fef692f1bd6db5974befe8c4fbdbaac6b4e9c1619 ? ./validate.dhall , Schema/version = ./version.dhall diff --git a/schema.dhall b/schema.dhall index 7c452a2..9bfa056 100644 --- a/schema.dhall +++ b/schema.dhall @@ -19,6 +19,7 @@ let Schema = { CookieName : Text , CookieAuthSecret : Text , CookieEncrSecret : Text + , MaxAge : Natural } , Logger : { JSON : Bool, Fmt : Optional Text } , InitialAdminPassword : Text @@ -44,6 +45,7 @@ let Schema = { CookieName = "pcmt_session" , CookieAuthSecret = "" , CookieEncrSecret = "" + , MaxAge = 3600 } , Logger = { JSON = True, Fmt = None Text } , InitialAdminPassword = diff --git a/validate.dhall b/validate.dhall index a770958..afa78d7 100644 --- a/validate.dhall +++ b/validate.dhall @@ -5,7 +5,7 @@ let Prelude = let Schema = ./schema.dhall - sha256:0887e924cad7f0c3c56bd096e00f5866c1190f8bf3aa4b91b8d1f82729386f90 + sha256:2e7490953649881f93eec24109ef7a93738ab8fab8ccf40c33260af7faf413a5 ? ./schema.dhall let Schema/validate