summaryrefslogtreecommitdiff
path: root/src/settings.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/settings.sig b/src/settings.sig
index 26e220fd..62b7a748 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -16,7 +16,7 @@
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@@ -26,10 +26,10 @@
*)
signature SETTINGS = sig
-
+
val setDebug : bool -> unit
val getDebug : unit -> bool
-
+
val clibFile : string -> string
(* How do all application URLs begin? *)
@@ -143,6 +143,8 @@ signature SETTINGS = sig
type dbms = {
name : string,
(* Call it this on the command line *)
+ randomFunction : string,
+ (* DBMS's name for random number-generating function *)
header : string,
(* Include this C header file *)
link : string,