X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1b1021cb38f85f638ec5b2141075e99c7b5f0fdd..fe789bea628b15229156c8a4272c2b6063c9b1a0:/src/main.sig?ds=sidebyside diff --git a/src/main.sig b/src/main.sig index 01edb0f..231fafc 100644 --- a/src/main.sig +++ b/src/main.sig @@ -58,7 +58,7 @@ signature MAIN = sig val requestDbUser : {dbtype : string, passwd : string option} -> unit val requestDbPasswd : {dbtype : string, passwd : string} -> unit - val requestDbTable : {dbtype : string, dbname : string} -> unit + val requestDbTable : {dbtype : string, dbname : string, encoding : string option} -> unit val requestDbDrop : {dbtype : string, dbname : string} -> unit val requestDbGrant : {dbtype : string, dbname : string} -> unit