Adding database dropping to dbtool

[hcoop/domtool2.git] / src / msgTypes.sml

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 00dc82a..8f15ad7 100644 (file)
--- 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 *)