From c13cc441bcfd907fe97078b6165fed650e4758dd Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 28 Oct 2025 18:06:52 +0100
Subject: [PATCH] Delegation: new request messages.

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

diff --git a/src/App/Message/DNSManagerDaemon.purs b/src/App/Message/DNSManagerDaemon.purs
index 39430bb..33e1281 100644
--- a/src/App/Message/DNSManagerDaemon.purs
+++ b/src/App/Message/DNSManagerDaemon.purs
@@ -140,6 +140,18 @@ codecDelegateDomain = CA.object "DelegateDomain" (CAR.record { domain: CA.string
                                                              , nameserver1: CA.string
                                                              , nameserver2: CA.string })
 
+{- 26  -}
+type EditDelegation = { domain :: String, nameserver1 :: String, nameserver2 :: String }
+codecEditDelegation ∷ CA.JsonCodec EditDelegation
+codecEditDelegation = CA.object "EditDelegation" (CAR.record { domain: CA.string
+                                                             , nameserver1: CA.string
+                                                             , nameserver2: CA.string })
+
+{- 27  -}
+type ResetDelegation = { domain :: String }
+codecResetDelegation ∷ CA.JsonCodec ResetDelegation
+codecResetDelegation = CA.object "ResetDelegation" (CAR.record { domain: CA.string })
+
 {- 100 -}
 type GenerateAllZoneFiles = {}
 codecGenerateAllZoneFiles ∷ CA.JsonCodec GenerateAllZoneFiles
@@ -345,6 +357,8 @@ data RequestMessage
   | MkGainOwnership        GainOwnership        -- 23
   | MkSearchDomain         SearchDomain         -- 24
   | MkDelegateDomain       DelegateDomain       -- 25
+  | MkEditDelegation       EditDelegation       -- 26
+  | MkResetDelegation      ResetDelegation      -- 27
   | MkGenerateAllZoneFiles GenerateAllZoneFiles -- 100
   | MkGenerateZoneFile     GenerateZoneFile     -- 101
   | MkKeepAlive            KeepAlive            -- 250
@@ -406,6 +420,8 @@ encode m = case m of
     (MkGainOwnership        request) -> get_tuple 23  codecGainOwnership        request
     (MkSearchDomain         request) -> get_tuple 24  codecSearchDomain         request
     (MkDelegateDomain       request) -> get_tuple 25  codecDelegateDomain       request
+    (MkEditDelegation       request) -> get_tuple 26  codecEditDelegation       request
+    (MkResetDelegation      request) -> get_tuple 27  codecResetDelegation      request
     (MkGenerateAllZoneFiles request) -> get_tuple 100 codecGenerateAllZoneFiles request
     (MkGenerateZoneFile     request) -> get_tuple 101 codecGenerateZoneFile     request
     (MkKeepAlive            request) -> get_tuple 250 codecKeepAlive            request