From 1870c5df50604f75e6db5d7266c249e687ce98fc Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Mon, 10 Jul 2023 03:36:40 +0200
Subject: [PATCH] RRDeleted message.

---
 src/App/Messages/DNSManagerDaemon.purs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/App/Messages/DNSManagerDaemon.purs b/src/App/Messages/DNSManagerDaemon.purs
index 6275165..8118571 100644
--- a/src/App/Messages/DNSManagerDaemon.purs
+++ b/src/App/Messages/DNSManagerDaemon.purs
@@ -177,6 +177,11 @@ type DomainAdded = { domain :: String }
 codecDomainAdded ∷ CA.JsonCodec DomainAdded
 codecDomainAdded = CA.object "DomainAdded" (CAR.record { domain: CA.string })
 
+{- 18  -}
+type RRDeleted = { rrid :: Int }
+codecRRDeleted ∷ CA.JsonCodec RRDeleted
+codecRRDeleted = CA.object "RRDeleted" (CAR.record { rrid: CA.int })
+
 {- 50  -}
 type UnknownUser = { }
 codecUnknownUser ∷ CA.JsonCodec UnknownUser
@@ -221,6 +226,7 @@ data AnswerMessage
  | MkAcceptedDomains     AcceptedDomains     -- 15
  | MkLogged              Logged              -- 16
  | MkDomainAdded         DomainAdded         -- 17
+ | MkRRDeleted           RRDeleted           -- 18
  | MkUnknownUser         UnknownUser         -- 50
  | MkNoOwnership         NoOwnership         -- 51
 
@@ -267,6 +273,7 @@ decode number string
     15 -> error_management codecAcceptedDomains     MkAcceptedDomains
     16 -> error_management codecLogged              MkLogged
     17 -> error_management codecDomainAdded         MkDomainAdded
+    18 -> error_management codecRRDeleted           MkRRDeleted
     50 -> error_management codecUnknownUser         MkUnknownUser
     51 -> error_management codecNoOwnership         MkNoOwnership
     _  -> Left UnknownNumber