summaryrefslogtreecommitdiff
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
commited6d1a7b126f5140f6c0821db4289b19ee76ca8d (patch)
tree0a5ee98e028ce9b02f2ba341da4ef81846d3c68e /src/settings.sig
parent80811734c721221a20260f79387256043c732917 (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