Si le dossier _DIR_DUMP n'existe pas, on essaie de le créer directement par son nom.

Sinon, on le crée dans DIR_TMP. Corrige un mini bug sur la mutualisation du dossier _DIR_DUMP si celui-ci n'existait pas (tmp/dump), un dossier /sites/le_site/tmp/..tmpdump/ était créé.

ecrire/exec/admin_tech.php

@@ -34,8 +34,10 @@ function exec_admin_tech_dist()
 		echo  _T('info_gauche_admin_tech');
 		echo fin_boite_info(true);
 		$repertoire = _DIR_DUMP;
-		if(!@file_exists($repertoire)) {
-			$repertoire = preg_replace(','._DIR_TMP.',', '', $repertoire);
+		if (!@file_exists($repertoire)
+			AND !$repertoire = sous_repertoire(_DIR_DUMP,'',false,true)
+		) {
+			$repertoire = preg_replace(','._DIR_TMP.',', '', _DIR_DUMP);
 			$repertoire = sous_repertoire(_DIR_TMP, $repertoire);
 		}
 		$dir_dump = $repertoire;