summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-02-02 11:40:10 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-02-02 11:40:10 -0500
commit1a92bdc65a47614912b4bfd0cf6f442d7134ce23 (patch)
tree5271983ec2581bb6cf7fecc8053b8c3e41de9250 /src/settings.sml
parent912c6fcf0c09348965262dd13c8faaefa61c2999 (diff)
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index b421f38a..017c5095 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -467,6 +467,7 @@ datatype failure_mode = Error | None
type dbms = {
name : string,
+ randomFunction : string,
header : string,
link : string,
p_sql_type : sql_type -> string,
@@ -511,6 +512,7 @@ type dbms = {
val dbmses = ref ([] : dbms list)
val curDb = ref ({name = "",
+ randomFunction = "",
header = "",
link = "",
p_sql_type = fn _ => "",