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 | 250b14e52266e00382447f202c8fd2195b431421 (patch) | |
| tree | ccb42c49cdb4b1963ad490452f92998a124f7d7c /src/mysql.sml | |
| parent | 3daf3393e53937e9ea2b1e308e5ebd05ffa35a5a (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 |