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/settings.sig | |
parent | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (diff) |
When using a file cache, add plugin-loading code (for SHA512) to tops of .sql files
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig index 6ba7e96a..f94525bb 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -220,7 +220,9 @@ signature SETTINGS = sig nestedRelops : bool, windowFunctions : bool, supportsIsDistinctFrom : bool, - supportsSHA512 : bool + supportsSHA512 : string option (* If supported, give the SQL code to + * enable the feature in a particular + * database. *) } val addDbms : dbms -> unit |