correction d'un bug en cas d'acces concurrents sur le fichier .index (le site...

correction d'un bug en cas d'acces concurrents sur le fichier .index (le site oubliait quels étaient les éléments à indexer car le process B "lisait" le fichier .index en plein cours d'écriture par le process A)

ecrire/inc_index.php3

@@ -81,6 +81,7 @@ function indexer_objet($type, $id_objet, $forcer_reset = true, $full = true) {
 
 	if (!$id_objet OR (!$forcer_reset AND deja_indexe($type, $id_objet))) return;
 
+	spip_log("indexation $type $id_objet");
 	$index = '';
 	$mots = "INSERT IGNORE INTO spip_index_dico (hash, dico) VALUES (0,'')";
 

inc-public-global.php3

@@ -328,15 +328,16 @@ if (lire_meta('activer_moteur') == 'oui') {
 			include_ecrire("inc_texte.php3");
 			include_ecrire("inc_filtres.php3");
 			include_ecrire("inc_index.php3");
-			$suite = file($fichier_index);
-			$s = $suite[0];
-			$f = fopen($fichier_index, 'w');
+			if ($s = sizeof($suite = file($fichier_index)))
+				$s = $suite[rand(0,$s)];
+			$pid = @getmypid();
+			$f = fopen($fichier_index.".tmp-$pid", 'w');
 			while (list(,$ligne) = each($suite))
 				if ($ligne <> $s)
 					fwrite($f, $ligne);
 			fclose($f);
+			@rename($fichier_index.".tmp-$pid",$fichier_index);
 			$s = explode(' ', trim($s));
-			spip_log("indexation $s[0] $s[1]");
 			indexer_objet($s[0], $s[1], false);
 			$timeout = true;
 		}