comparison src/settings.sml @ 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
341 p_blank : int * sql_type -> string, 341 p_blank : int * sql_type -> string,
342 supportsDeleteAs : bool, 342 supportsDeleteAs : bool,
343 createSequence : string -> string, 343 createSequence : string -> string,
344 textKeysNeedLengths : bool, 344 textKeysNeedLengths : bool,
345 supportsNextval : bool, 345 supportsNextval : bool,
346 supportsNestedPrepared : bool 346 supportsNestedPrepared : bool,
347 sqlPrefix : string
347 } 348 }
348 349
349 val dbmses = ref ([] : dbms list) 350 val dbmses = ref ([] : dbms list)
350 val curDb = ref ({name = "", 351 val curDb = ref ({name = "",
351 header = "", 352 header = "",
363 p_blank = fn _ => "", 364 p_blank = fn _ => "",
364 supportsDeleteAs = false, 365 supportsDeleteAs = false,
365 createSequence = fn _ => "", 366 createSequence = fn _ => "",
366 textKeysNeedLengths = false, 367 textKeysNeedLengths = false,
367 supportsNextval = false, 368 supportsNextval = false,
368 supportsNestedPrepared = false} : dbms) 369 supportsNestedPrepared = false,
370 sqlPrefix = ""} : dbms)
369 371
370 fun addDbms v = dbmses := v :: !dbmses 372 fun addDbms v = dbmses := v :: !dbmses
371 fun setDbms s = 373 fun setDbms s =
372 case List.find (fn db => #name db = s) (!dbmses) of 374 case List.find (fn db => #name db = s) (!dbmses) of
373 NONE => raise Fail ("Unknown DBMS " ^ s) 375 NONE => raise Fail ("Unknown DBMS " ^ s)