Changes to support IMAP on hopper all compile but are not tested yet

[hcoop/domtool2.git] / src / msg.sml

diff --git a/src/msg.sml b/src/msg.sml
index 3e028c1..a745f5c 100644 (file)
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -237,6 +237,7 @@ fun send (bio, m) =
       | MsgDescription s => (OpenSSL.writeInt (bio, 40);
                             OpenSSL.writeString (bio, s))
       | MsgReUsers => OpenSSL.writeInt (bio, 41)
+      | MsgVmailChanged => OpenSSL.writeInt (bio, 42)
 
 fun checkIt v =
     case v of
@@ -350,6 +351,7 @@ fun recv bio =
                   | 39 => Option.map MsgDescribe (OpenSSL.readString bio)
                   | 40 => Option.map MsgDescription (OpenSSL.readString bio)
                   | 41 => SOME MsgReUsers
+                  | 42 => SOME MsgVmailChanged
                   | _ => NONE)
         
 end