From 0c835d0daf68f32b5466b16d2a85e7ab589edff0 Mon Sep 17 00:00:00 2001 From: leo Date: Thu, 4 May 2023 16:42:05 +0200 Subject: [PATCH] fix(config.dhall): correct the port range well this is embarassing --- config.dhall | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/config.dhall b/config.dhall index 2f089ca..a1768cb 100644 --- a/config.dhall +++ b/config.dhall @@ -30,9 +30,9 @@ let NuConfig/validate let actual = { validPort = - -- | make sure port number belongs to the <1;65565> range. + -- | make sure port number belongs to the <1;65535> range. Prelude.Natural.lessThanEqual 1 c.Port - && Prelude.Natural.lessThanEqual c.Port 65565 + && Prelude.Natural.lessThanEqual c.Port 65535 } in expected === actual @@ -81,9 +81,9 @@ let Config/validate let actual = { validPort = - -- | make sure port number belongs to the <1;65565> range. + -- | make sure port number belongs to the <1;65535> range. Prelude.Natural.lessThanEqual 1 config.Port - && Prelude.Natural.lessThanEqual config.Port 65565 + && Prelude.Natural.lessThanEqual config.Port 65535 } in expected === actual