Suite de [11566]: depuis que {{calculer_rubriques}} a été remplacée par un...

Suite de [11566]: depuis que {{calculer_rubriques}} a été remplacée par un traitement incrémental, {{date_calcul_rubriques}} n'était pas toujours actualisé, d'où le pb de cache de menu_rubriques.

ecrire/action/editer_rubrique.php

@@ -86,6 +86,8 @@ function revisions_rubriques($id_rubrique, $c=false) {
 	// invalider les caches marques de cette rubrique
 	include_spip('inc/invalideur');
 	suivre_invalideur("id='id_rubrique/$id_rubrique'");
+	// et celui de menu_rubriques 
+	effacer_meta("date_calcul_rubriques");
 
 	// Notification ?
 	pipeline('post_edition',

ecrire/action/supprimer.php

@@ -61,6 +61,8 @@ function action_supprimer_rubrique($r)
 		if (!$n)
 			sql_updateq("spip_auteurs", array("statut" => '1comite'), "id_auteur=$id_auteur");
 	}
+	// menu_rubriques devra recalculer
+	effacer_meta("date_calcul_rubriques");
 
 	// Une rubrique supprimable n'avait pas le statut "publie"
 	// donc rien de neuf pour la rubrique parente

ecrire/exec/menu_rubriques.php

@@ -18,7 +18,7 @@ include_spip('inc/texte');
 function exec_menu_rubriques_dist() {
 	global $spip_ecran;
         
-	header("Cache-Control: max-age=3600");
+	header("Cache-Control: no-cache, must-revalidate");
 
 	if ($date = intval(_request('date')))
 		header("Last-Modified: ".gmdate("D, d M Y H:i:s", $date)." GMT");
@@ -183,7 +183,7 @@ function gen_liste_rubriques() {
 		$GLOBALS['db_art_cache'][$r['id_parent']][$r['id_rubrique']] = supprimer_numero(typo($t));
 	}
 
-	$t = array($last, $GLOBALS['db_art_cache']);
+	$t = array($last ? $last : time(), $GLOBALS['db_art_cache']);
 	ecrire_fichier(_CACHE_RUBRIQUES, serialize($t));
 	return true;
 }