Add query for existence of package
[hcoop/domtool2.git] / src / msgTypes.sml
index 00dc82a..dcd04cb 100644 (file)
@@ -39,6 +39,8 @@ datatype query =
        (* What socket permissions does this user have? *)
        | QFirewall of string
        (* What firewall rules does this user have? *)
+       | QAptExists of string
+       (* Does this apt package exist *)
 
 datatype msg =
         MsgOk
@@ -76,8 +78,10 @@ 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}
-       (* Request creation of a DBMS table *)
+       | MsgCreateDb of {dbtype : string, dbname : string, encoding : string option}
+       (* 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 *)
@@ -114,5 +118,19 @@ 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 *)
+       | MsgReUsers
+       (* Rerun all callbacks for cases where the set of users has changed *)
+       | MsgVmailChanged
+       (* Server tells slave that vmail user information has changed *)
+       | MsgFirewallRegen
+       (* Regenerate firewall on user machines *)
 
 end