OpenSSL.writeString (bio, s))
| QSocket s => (OpenSSL.writeInt (bio, 4);
OpenSSL.writeString (bio, s))
- | QFirewall s => (OpenSSL.writeInt (bio, 5);
- OpenSSL.writeString (bio, s))
+ | QFirewall {node, user} => (OpenSSL.writeInt (bio, 5);
+ OpenSSL.writeString (bio, node);
+ OpenSSL.writeString (bio, user))
| QAptExists s => (OpenSSL.writeInt (bio, 6);
OpenSSL.writeString (bio, s))
| 2 => Option.map QFtp (OpenSSL.readString bio)
| 3 => Option.map QTrustedPath (OpenSSL.readString bio)
| 4 => Option.map QSocket (OpenSSL.readString bio)
- | 5 => Option.map QFirewall (OpenSSL.readString bio)
+ | 5 => (case ((OpenSSL.readString bio), (OpenSSL.readString bio)) of
+ (SOME node, SOME user) => SOME (QFirewall { node = node, user = user })
+ | _ => NONE)
| 6 => Option.map QAptExists (OpenSSL.readString bio)
| _ => NONE)
| NONE => NONE