Une demi-heure pour cerner précisément la raison du souci et tout est revenu..
C'est lié au fait que Spa a généré beaucoup d'activité. Et comme garantie d'intégrité des bases, j'ai activé depuis plusieurs années un journal (en binaire) des modifications faites aux bases (c'est une option peu utilisée mais utile).
Beaucoup d'activité due à Spa faisait donc beaucoup de gros journaux ces derniers temps qui ont rempli la partition des journaux (c'est vidé automatiquement par l'autre bout, celui des plus anciens, mais ça s'est rempli plus vite que ça s'est vidé)
Par ailleurs, le processus gérant les journaux change régulièrement de fichier une fois atteint les 100 Mo de fichier (rotation des journaux)
Donc à 18h15, il y a eu une rotation de journal, qui a éteint quelques millisecondes la base le temps de changer de fichier de journal. Or en redémarrant, MySQL a refusé de démarrer car il s'est aperçu qu'il ne pouvait journaliser (partition pleine). Et voilà le problème
Juste un détail: la partition pleine était arrivé avant (dans l'après-midi ou la matinée surement), mais ça n'arrête pas MySQL de fonctionner, ça ne fait qu'empêcher MySQL de démarrer, or à 18h15 MySQL redémarrait (afin de changer de journal).
Voili, vous avez tous les détails, rien ne vous est caché.
Cette nuit, je ferai en sorte d'agrandir la partition des journaux afin que ça ne se reproduise pas de sitôt.
( Entre temps vous aurez eu les résultats des pronostics de dimanche. )
Hugues