Mercurial > urweb
comparison src/settings.sig @ 891:8f2159040bbb
More command-line options
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 18 Jul 2009 11:01:48 -0400 |
parents | 034eeb099564 |
children | 16f7cb0891b6 |
comparison
equal
deleted
inserted
replaced
890:034eeb099564 | 891:8f2159040bbb |
---|---|
161 | 161 |
162 val addDbms : dbms -> unit | 162 val addDbms : dbms -> unit |
163 val setDbms : string -> unit | 163 val setDbms : string -> unit |
164 val currentDbms : unit -> dbms | 164 val currentDbms : unit -> dbms |
165 | 165 |
166 val setDbstring : string option -> unit | |
167 val getDbstring : unit -> string option | |
168 | |
169 val setExe : string option -> unit | |
170 val getExe : unit -> string option | |
171 | |
172 val setSql : string option -> unit | |
173 val getSql : unit -> string option | |
174 | |
166 end | 175 end |