HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Working on automatic rmdom for bad domains during regen
[hcoop/domtool2.git]
/
src
/
msg.sml
diff --git
a/src/msg.sml
b/src/msg.sml
index
5940bbe
..
a8450dd
100644
(file)
--- a/
src/msg.sml
+++ b/
src/msg.sml
@@
-23,12
+23,14
@@
structure Msg :> MSG = struct
open OpenSSL MsgTypes Slave
val a2i = fn Add => 0
open OpenSSL MsgTypes Slave
val a2i = fn Add => 0
- | Delete => 1
+ | Delete
true
=> 1
| Modify => 2
| Modify => 2
+ | Delete false => 3
val i2a = fn 0 => Add
val i2a = fn 0 => Add
- | 1 => Delete
+ | 1 => Delete
true
| 2 => Modify
| 2 => Modify
+ | 3 => Delete false
| _ => raise OpenSSL.OpenSSL "Bad action number to deserialize"
fun sendAcl (bio, {user, class, value}) =
| _ => raise OpenSSL.OpenSSL "Bad action number to deserialize"
fun sendAcl (bio, {user, class, value}) =