comparison src/settings.sig @ 882:9c1b7e46eed2

MySQL CGI working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 17 Jul 2009 12:58:37 -0400
parents 8e9f2d247dba
children 5805fa825fe8
comparison
equal deleted inserted replaced
881:45a63416adb4 882:9c1b7e46eed2
151 p_blank : int * sql_type -> string (* Prepared statement input *), 151 p_blank : int * sql_type -> string (* Prepared statement input *),
152 supportsDeleteAs : bool, 152 supportsDeleteAs : bool,
153 createSequence : string -> string, 153 createSequence : string -> string,
154 textKeysNeedLengths : bool, 154 textKeysNeedLengths : bool,
155 supportsNextval : bool, 155 supportsNextval : bool,
156 supportsNestedPrepared : bool 156 supportsNestedPrepared : bool,
157 sqlPrefix : string
157 } 158 }
158 159
159 val addDbms : dbms -> unit 160 val addDbms : dbms -> unit
160 val setDbms : string -> unit 161 val setDbms : string -> unit
161 val currentDbms : unit -> dbms 162 val currentDbms : unit -> dbms