diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-05-31 09:58:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-05-31 09:58:37 -0400 |
| commit | 94ea84354715c4a2bb30cd4aaeaaba506358d1d6 (patch) | |
| tree | 2df2ab07926da9b608ad38e8a0b9f46c7c8b8c6f /src/mysql.sml | |
| parent | a19e53017364ceddbba557fb363ca26b273f89da (diff) | |
Filecache support for MySQL
Diffstat (limited to 'src/mysql.sml')
| -rw-r--r-- | src/mysql.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml index 768c5441..a826f3ef 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -1610,6 +1610,7 @@ val () = addDbms {name = "mysql", nestedRelops = false, windowFunctions = false, supportsIsDistinctFrom = true, - supportsSHA512 = NONE} + supportsSHA512 = SOME {InitializeDb = "", + GenerateHash = fn name => "SHA2(" ^ name ^ ", 512)"}} end |