Adding domain description

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

diff --git a/src/msgTypes.sml b/src/msgTypes.sml
index 8f15ad7..034e26a 100644 (file)
--- a/src/msgTypes.sml
+++ b/src/msgTypes.sml
@@ -76,7 +76,7 @@ datatype msg =
        * that user and no one else has rights. *)
        | MsgCreateDbUser of {dbtype : string, passwd : string option}
        (* Request creation of a user for the named DBMS type *)
-       | MsgCreateDbTable of {dbtype : string, dbname : string}
+       | MsgCreateDb of {dbtype : string, dbname : string}
        (* Request creation of a DBMS database *)
        | MsgDropDb of {dbtype : string, dbname : string}
        (* Request dropping of a DBMS database *)
@@ -116,5 +116,13 @@ datatype msg =
        (* Answer to a QFirewall query *)
        | MsgRegenerateTc
        (* MsgRegenerate without actual publishing of configuration *)
+       | MsgGrantDb of {dbtype : string, dbname : string}
+       (* Grant all allowed privileges on a DBMS database to the user *)
+       | MsgMysqlFixperms
+       (* Run the script to grant DROP privileges on MySQL tables to owning users *)
+       | MsgDescribe of string
+       (* Ask for a listing of all of a domain's real configuration *)
+       | MsgDescription of string
+       (* Reply to MsgDescribe *)
 
 end