From b448278c84e62fa5e7a597c23c36a8e14483f77b Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 24 Feb 2024 06:41:50 +0100 Subject: [PATCH] dnsmanagerd: Maintenance message slightly changed. --- src/App/Messages/DNSManagerDaemon.purs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/App/Messages/DNSManagerDaemon.purs b/src/App/Messages/DNSManagerDaemon.purs index f2c35f4..d7f8c88 100644 --- a/src/App/Messages/DNSManagerDaemon.purs +++ b/src/App/Messages/DNSManagerDaemon.purs @@ -35,9 +35,15 @@ codecLogin ∷ CA.JsonCodec Login codecLogin = CA.object "Login" (CAR.record { token: CA.string }) {- 7 -} -type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject, value :: Maybe Int } +type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject + , int :: Maybe Int + , string :: Maybe String + } codecMaintenance ∷ CA.JsonCodec Maintenance -codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec, value: CAR.optional CA.int }) +codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec + , int: CAR.optional CA.int + , string: CAR.optional CA.string + }) {- 9 -} type NewDomain = { domain :: String }