diff --git a/action/editer_document.php b/action/editer_document.php index ca27a32e54157acf53d348aff72b00fd4d284a6c..c969a32c2175d336a02f5b48aad78fd599967cb5 100644 --- a/action/editer_document.php +++ b/action/editer_document.php @@ -123,7 +123,8 @@ function document_modifier($id_document, $set=false) { return $err; // nettoyer l'ancien fichier si necessaire - if ($champs['fichier'] // un plugin a pu interdire la modif du fichier en virant le champ + if (isset($champs['fichier']) // un plugin a pu interdire la modif du fichier en virant le champ + AND $champs['fichier'] AND $ancien_fichier // on avait bien note le nom du fichier avant la modif AND $ancien_fichier!==$champs['fichier'] // et il a ete modifie AND @file_exists($f = get_spip_doc($ancien_fichier)))