diff src/settings.sml @ 891:8f2159040bbb

More command-line options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 11:01:48 -0400
parents 034eeb099564
children ae9e22822ec5
line wrap: on
line diff
--- a/src/settings.sml	Sat Jul 18 10:27:32 2009 -0400
+++ b/src/settings.sml	Sat Jul 18 11:01:48 2009 -0400
@@ -380,4 +380,16 @@
       | SOME db => curDb := db
 fun currentDbms () = !curDb
 
+val dbstring = ref (NONE : string option)
+fun setDbstring so = dbstring := so
+fun getDbstring () = !dbstring
+
+val exe = ref (NONE : string option)
+fun setExe so = exe := so
+fun getExe () = !exe
+
+val sql = ref (NONE : string option)
+fun setSql so = sql := so
+fun getSql () = !sql
+
 end