comparison src/settings.sig @ 866:03e7f111fe99

Start of multi-DBMS support
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 13:49:32 -0400
parents 346cf1908a17
children e7f80d78075b
comparison
equal deleted inserted replaced
865:ebefb0609ac3 866:03e7f111fe99
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature SETTINGS = sig 28 signature SETTINGS = sig
29 29
30 val setDebug : bool -> unit
31 val getDebug : unit -> bool
32
33 val clibFile : string -> string
34
30 (* How do all application URLs begin? *) 35 (* How do all application URLs begin? *)
31 val setUrlPrefix : string -> unit 36 val setUrlPrefix : string -> unit
32 val getUrlPrefix : unit -> string 37 val getUrlPrefix : unit -> string
33 38
34 (* How many seconds should the server wait before assuming a Comet client has left? *) 39 (* How many seconds should the server wait before assuming a Comet client has left? *)
90 name : string, (* Call it this on the command line *) 95 name : string, (* Call it this on the command line *)
91 link : string, (* Pass these linker arguments *) 96 link : string, (* Pass these linker arguments *)
92 persistent : bool (* Multiple requests per process? *) 97 persistent : bool (* Multiple requests per process? *)
93 } 98 }
94 val addProtocol : protocol -> unit 99 val addProtocol : protocol -> unit
95 val getProtocol : string -> protocol option
96 val setProtocol : string -> unit 100 val setProtocol : string -> unit
97 val currentProtocol : unit -> protocol 101 val currentProtocol : unit -> protocol
98 102
99 val setDebug : bool -> unit 103 (* Different DBMSes *)
100 val getDebug : unit -> bool 104 type dbms = {
105 name : string,
106 (* Call it this on the command line *)
107 header : string,
108 (* Include this C header file *)
109 link : string,
110 (* Pass these linker arguments *)
111 global_init : Print.PD.pp_desc,
112 (* Define uw_client_init() *)
113 init : string * (string * int) list -> Print.PD.pp_desc
114 (* Define uw_db_init() from dbstring and prepared statements *)
115 }
101 116
102 val clibFile : string -> string 117 val addDbms : dbms -> unit
118 val setDbms : string -> unit
119 val currentDbms : unit -> dbms
103 120
104 end 121 end