aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-17 12:58:37 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-17 12:58:37 -0400
commit2e4d220fbdbee54f07d0ab1bfccd050880012c25 (patch)
tree0a5ee98e028ce9b02f2ba341da4ef81846d3c68e /src/settings.sig
parentad2b8b250083aef97842f3f4f047ce7bc276673d (diff)
MySQL CGI working
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig
index f6b005b9..92dbbab9 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -153,7 +153,8 @@ signature SETTINGS = sig
createSequence : string -> string,
textKeysNeedLengths : bool,
supportsNextval : bool,
- supportsNestedPrepared : bool
+ supportsNestedPrepared : bool,
+ sqlPrefix : string
}
val addDbms : dbms -> unit