diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
commit | c88aa571002f0dd713158f8b80bfeacbd0a69569 (patch) | |
tree | 507937107d84d7bff716d0a7a329734101cba009 /src/mysql.sml | |
parent | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (diff) |
When using a file cache, add plugin-loading code (for SHA512) to tops of .sql files
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 e7cad84e..768c5441 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -1610,6 +1610,6 @@ val () = addDbms {name = "mysql", nestedRelops = false, windowFunctions = false, supportsIsDistinctFrom = true, - supportsSHA512 = false} + supportsSHA512 = NONE} end |