HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Trusted-path permission checking
[hcoop/domtool2.git]
/
src
/
msg.sml
diff --git
a/src/msg.sml
b/src/msg.sml
index
562c9d1
..
bd7b5ee
100644
(file)
--- a/
src/msg.sml
+++ b/
src/msg.sml
@@
-96,6
+96,8
@@
fun sendQuery (bio, q) =
OpenSSL.writeString (bio, s))
| QFtp s => (OpenSSL.writeInt (bio, 2);
OpenSSL.writeString (bio, s))
OpenSSL.writeString (bio, s))
| QFtp s => (OpenSSL.writeInt (bio, 2);
OpenSSL.writeString (bio, s))
+ | QTrustedPath s => (OpenSSL.writeInt (bio, 3);
+ OpenSSL.writeString (bio, s))
fun recvQuery bio =
case OpenSSL.readInt bio of
fun recvQuery bio =
case OpenSSL.readInt bio of
@@
-104,6
+106,7
@@
fun recvQuery bio =
0 => Option.map QApt (OpenSSL.readString bio)
| 1 => Option.map QCron (OpenSSL.readString bio)
| 2 => Option.map QFtp (OpenSSL.readString bio)
0 => Option.map QApt (OpenSSL.readString bio)
| 1 => Option.map QCron (OpenSSL.readString bio)
| 2 => Option.map QFtp (OpenSSL.readString bio)
+ | 3 => Option.map QTrustedPath (OpenSSL.readString bio)
| _ => NONE)
| NONE => NONE
| _ => NONE)
| NONE => NONE