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/filecache.sml | |
| parent | a19e53017364ceddbba557fb363ca26b273f89da (diff) | |
Filecache support for MySQL
Diffstat (limited to 'src/filecache.sml')
| -rw-r--r-- | src/filecache.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/filecache.sml b/src/filecache.sml index e2291c10..a0da4b05 100644 --- a/src/filecache.sml +++ b/src/filecache.sml @@ -81,7 +81,10 @@ fun instrument file = fun wrapCol (name, t) = case #1 t of TFfi ("Basis", "blob") => - "DIGEST(" ^ name ^ ", 'sha512')" + (case #supportsSHA512 (Settings.currentDbms ()) of + NONE => (ErrorMsg.error "DBMS doesn't support SHA512."; + "ERROR") + | SOME r => #GenerateHash r name) | TOption t' => wrapCol (name, t') | _ => name |