X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5ee41dd039e304ae374a5f1265e32839204f14ff..411a85f26421358c20b11839310cce6caff8cf77:/src/msg.sml

diff --git a/src/msg.sml b/src/msg.sml
index 43b6386..5569355 100644
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -57,6 +57,8 @@ fun send (bio, m) =
       | MsgDoFiles => OpenSSL.writeInt (bio, 5)
       | MsgGrant acl => (OpenSSL.writeInt (bio, 6);
 			 sendAcl (bio, acl))
+      | MsgRevoke acl => (OpenSSL.writeInt (bio, 7);
+			  sendAcl (bio, acl))
 
 fun checkIt v =
     case v of
@@ -85,6 +87,9 @@ fun recv bio =
 		   | 6 => (case recvAcl bio of
 			       SOME acl => SOME (MsgGrant acl)
 			     | _ => NONE)
+		   | 7 => (case recvAcl bio of
+			       SOME acl => SOME (MsgRevoke acl)
+			     | _ => NONE)
 		   | _ => NONE)
 	 
 end