(* HCoop Domtool (http://hcoop.sourceforge.net/)
* Copyright (c) 2006, Adam Chlipala
+ * Copyright (c) 2011,2014 Clinton Ebadi <clinton@unknownlamer.org>
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
| MsgAptQuery {section, description} => (OpenSSL.writeInt (bio, 44);
OpenSSL.writeString (bio, section);
OpenSSL.writeString (bio, description))
+ | MsgSaChanged => OpenSSL.writeInt (bio, 45)
fun checkIt v =
case v of
| 44 => (case (OpenSSL.readString bio, OpenSSL.readString bio) of
(SOME section, SOME description) => SOME (MsgAptQuery {section = section, description = description})
| _ => NONE)
+ | 45 => SOME MsgSaChanged
| _ => NONE)
end