X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/072f12c82089f091932e1e14421986214c93007d..35659203a708078cdec25ff74adbe1e9168934d6:/src/msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 00dc82a..8f15ad7 100644
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -77,7 +77,9 @@ datatype msg =
        | MsgCreateDbUser of {dbtype : string, passwd : string option}
        (* Request creation of a user for the named DBMS type *)
        | MsgCreateDbTable of {dbtype : string, dbname : string}
-       (* Request creation of a DBMS table *)
+       (* Request creation of a DBMS database *)
+       | MsgDropDb of {dbtype : string, dbname : string}
+       (* Request dropping of a DBMS database *)
        | MsgNewMailbox of {domain : string, user : string,
 			   passwd : string, mailbox : string}
        (* Request creation of a new vmail mapping *)