diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
| commit | b731727df078c7295aff5309460fb93a2e51c8e5 (patch) | |
| tree | ccb42c49cdb4b1963ad490452f92998a124f7d7c /src/mysql.sml | |
| parent | cc1ee568ed458ba1e693074d0dad9a27235b7963 (diff) | |
Move all DBMS initialization to #init
Diffstat (limited to 'src/mysql.sml')
| -rw-r--r-- | src/mysql.sml | 2 |
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 |