X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/86e132be99dcdbf2271119267cea6b91eb8207c3..314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b:/src/msgTypes.sml diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 25c3592..034e26a 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -120,5 +120,9 @@ datatype msg = (* 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