Mercurial > urweb

diff src/settings.sml @ 1682:ac141fbb313a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Feb 2012 11:40:10 -0500
parents e374b6b8ab38
children 225b87d4a7df
line wrap: on
line diff
--- a/src/settings.sml	Sun Jan 22 20:25:14 2012 -0500
+++ b/src/settings.sml	Thu Feb 02 11:40:10 2012 -0500
@@ -467,6 +467,7 @@
 
 type dbms = {
      name : string,
+     randomFunction : string,
      header : string,
      link : string,
      p_sql_type : sql_type -> string,
@@ -511,6 +512,7 @@
 
 val dbmses = ref ([] : dbms list)
 val curDb = ref ({name = "",
+                  randomFunction = "",
                   header = "",
                   link = "",
                   p_sql_type = fn _ => "",