X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/072f12c82089f091932e1e14421986214c93007d..35659203a708078cdec25ff74adbe1e9168934d6:/src/dbms.sig diff --git a/src/dbms.sig b/src/dbms.sig index deb2127..b600d9d 100644 --- a/src/dbms.sig +++ b/src/dbms.sig @@ -25,7 +25,8 @@ signature DBMS = sig type handler = {getpass : (unit -> Client.passwd_result) option, adduser : {user : string, passwd : string option} -> string option, passwd : {user : string, passwd : string} -> string option, - createdb : {user : string, dbname : string} -> string option} + createdb : {user : string, dbname : string} -> string option, + dropdb : {user : string, dbname : string} -> string option} val register : string * handler -> unit val lookup : string -> handler option