MySQL GUID case sensitive (#2078)

* MySQL GUID case sensitive

latin1_bin
https://github.com/FreshRSS/FreshRSS/issues/2077

* Prepare update for existing bases

* Perform DB update during actualize

* Reduce frequency slightly

* No optimize at the same time

* Take advantage of the SQL modifications in 1.12

* Move higher up

* Move to purge, which all users can manually call
This commit is contained in:
Alexandre Alapetite
2018-10-25 22:43:13 +02:00
committed by GitHub
parent 3eae8bd3b7
commit 307e6995fe
4 changed files with 39 additions and 6 deletions

View File

@@ -207,6 +207,10 @@ class FreshRSS_entry_Controller extends Minz_ActionController {
$feedDAO->updateCachedValues();
//Minor DB checks:
$databaseDAO = FreshRSS_Factory::createDatabaseDAO();
$databaseDAO->ensureCaseInsensitiveGuids(); //FreshRSS 1.12
invalidateHttpCache();
Minz_Request::good(_t('feedback.sub.purge_completed', $nb_total), array(
'c' => 'configure',