summaryrefslogtreecommitdiff
path: root/src/mysql.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 15:45:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 15:45:10 -0400
commitb731727df078c7295aff5309460fb93a2e51c8e5 (patch)
treeccb42c49cdb4b1963ad490452f92998a124f7d7c /src/mysql.sml
parentcc1ee568ed458ba1e693074d0dad9a27235b7963 (diff)
Move all DBMS initialization to #init
Diffstat (limited to 'src/mysql.sml')
-rw-r--r--src/mysql.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index 6f3d99cd..897b4a58 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -31,7 +31,7 @@ open Settings
open Print.PD
open Print
-fun init (dbstring, ss) =
+fun init {dbstring, prepared = ss, tables, sequences} =
let
val host = ref NONE
val user = ref NONE