| 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
| 6 => (case recvAcl bio of
SOME acl => SOME (MsgGrant acl)
| _ => NONE)
+ | 7 => (case recvAcl bio of
+ SOME acl => SOME (MsgRevoke acl)
+ | _ => NONE)
| _ => NONE)
end