X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/86aa5de7d9f2754d50489432ffaa43cba3fa170f..9f27d58f1ce0833bb5460d7ca612c74f378548a1:/src/msg.sml

diff --git a/src/msg.sml b/src/msg.sml
index a9063aa..f05d012 100644
--- a/src/msg.sml
+++ b/src/msg.sml
@@ -169,6 +169,7 @@ fun send (bio, m) =
       | MsgDbPasswd {dbtype, passwd} => (OpenSSL.writeInt (bio, 28);
 					 OpenSSL.writeString (bio, dbtype);
 					 OpenSSL.writeString (bio, passwd))
+      | MsgShutdown => OpenSSL.writeInt (bio, 29)
 
 fun checkIt v =
     case v of
@@ -263,6 +264,7 @@ fun recv bio =
 				(SOME dbtype, SOME passwd) =>
 				SOME (MsgDbPasswd {dbtype = dbtype, passwd = passwd})
 			      | _ => NONE)
+		   | 29 => SOME MsgShutdown
 		   | _ => NONE)
 	 
 end