| 2 => Modify
| _ => raise OpenSSL.OpenSSL "Bad action number to deserialize"
+fun sendAcl (bio, {user, class, value}) =
+ (OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, class);
+ OpenSSL.writeString (bio, value))
+
+fun recvAcl bio =
+ case (OpenSSL.readString bio, OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME user, SOME class, SOME value) => SOME {user = user, class = class, value = value}
+ | _ => NONE
+
fun send (bio, m) =
case m of
MsgOk => OpenSSL.writeInt (bio, 1)
OpenSSL.writeString (bio, dir);
OpenSSL.writeString (bio, file))
| MsgDoFiles => OpenSSL.writeInt (bio, 5)
+ | MsgGrant acl => (OpenSSL.writeInt (bio, 6);
+ sendAcl (bio, acl))
+ | MsgRevoke acl => (OpenSSL.writeInt (bio, 7);
+ sendAcl (bio, acl))
+ | MsgListPerms user => (OpenSSL.writeInt (bio, 8);
+ OpenSSL.writeString (bio, user))
+ | MsgPerms classes => (OpenSSL.writeInt (bio, 9);
+ app (fn (class, values) =>
+ (OpenSSL.writeInt (bio, 1);
+ OpenSSL.writeString (bio, class);
+ app (fn value =>
+ (OpenSSL.writeInt (bio, 1);
+ OpenSSL.writeString (bio, value))) values;
+ OpenSSL.writeInt (bio, 0))) classes;
+ OpenSSL.writeInt (bio, 0))
fun checkIt v =
case v of
file = file})
| _ => NONE)
| 5 => SOME MsgDoFiles
+ | 6 => (case recvAcl bio of
+ SOME acl => SOME (MsgGrant acl)
+ | _ => NONE)
+ | 7 => (case recvAcl bio of
+ SOME acl => SOME (MsgRevoke acl)
+ | _ => NONE)
+ | 8 => (case OpenSSL.readString bio of
+ SOME user => SOME (MsgListPerms user)
+ | _ => NONE)
+ | 9 => let
+ fun loop classes =
+ case OpenSSL.readInt bio of
+ SOME 0 => SOME (MsgPerms (rev classes))
+ | SOME 1 =>
+ (case OpenSSL.readString bio of
+ SOME class =>
+ let
+ fun loop' values =
+ case OpenSSL.readInt bio of
+ SOME 0 => loop ((class, rev values) :: classes)
+ | SOME 1 =>
+ (case OpenSSL.readString bio of
+ SOME value => loop' (value :: values)
+ | NONE => NONE)
+ | _ => NONE
+ in
+ loop' []
+ end
+ | NONE => NONE)
+ | _ => NONE
+ in
+ loop []
+ end
| _ => NONE)
end