X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4e1a9fdcd846bca926c8c118799d6a426ee3c8fe..f296c49694436583aa6194852bae5df395dacd05:/src/msg.sml diff --git a/src/msg.sml b/src/msg.sml index 0a50b6e..22f548c 100644 --- a/src/msg.sml +++ b/src/msg.sml @@ -242,6 +242,9 @@ fun send (bio, m) = | MsgReUsers => OpenSSL.writeInt (bio, 41) | MsgVmailChanged => OpenSSL.writeInt (bio, 42) | MsgFirewallRegen => OpenSSL.writeInt (bio, 43) + | MsgAptQuery {section, description} => (OpenSSL.writeInt (bio, 44); + OpenSSL.writeString (bio, section); + OpenSSL.writeString (bio, description)) fun checkIt v = case v of @@ -357,6 +360,9 @@ fun recv bio = | 41 => SOME MsgReUsers | 42 => SOME MsgVmailChanged | 43 => SOME MsgFirewallRegen + | 44 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of + (SOME section, SOME description) => SOME (MsgAptQuery {section = section, description = description}) + | _ => NONE) | _ => NONE) end