From 2ad1ede8f142254920720a346ff7d2861d8576fb Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 17 Jun 2023 18:08:09 +0200 Subject: [PATCH] Reorder some messages. --- src/App/Messages/DNSManagerDaemon.purs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/App/Messages/DNSManagerDaemon.purs b/src/App/Messages/DNSManagerDaemon.purs index 46cba19..999a516 100644 --- a/src/App/Messages/DNSManagerDaemon.purs +++ b/src/App/Messages/DNSManagerDaemon.purs @@ -29,14 +29,14 @@ import App.ResourceRecord as ResourceRecord type UserID = Int -- UserID is either a login or an uid number -{- 7 -} -type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject, value :: Maybe Int } -codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec, value: CAR.optional CA.int }) - {- 0 -} type Login = { token :: String } codecLogin = CA.object "Login" (CAR.record { token: CA.string }) +{- 7 -} +type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject, value :: Maybe Int } +codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec, value: CAR.optional CA.int }) + {- 9 -} type NewDomain = { domain :: String } codecNewDomain = CA.object "NewDomain" (CAR.record { domain: CA.string })