From dc95984d8acabcbd91aa97ed3b6014b8951edcf5 Mon Sep 17 00:00:00 2001
From: Fil <fil@rezo.net>
Date: Tue, 14 Sep 2004 22:43:51 +0000
Subject: [PATCH] =?UTF-8?q?bug=20"boucle=5Fdebug=5Fresultat=20not=20found"?=
=?UTF-8?q?=20quand=20on=20joue=20du=20debuggueur,=20=C3=A7a=20laissait=20?=
=?UTF-8?q?dans=20le=20cache=20des=20squelettes=20compil=C3=A9s=20avec=20l?=
=?UTF-8?q?'option=20debug?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
ecrire/inc_flock.php3 | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/ecrire/inc_flock.php3 b/ecrire/inc_flock.php3
index ac40299609..dc8bd5585f 100644
--- a/ecrire/inc_flock.php3
+++ b/ecrire/inc_flock.php3
@@ -146,9 +146,10 @@ function lire_fichier ($fichier, &$contenu, $options=false) {
// zippe les fichiers .gz
function ecrire_fichier ($fichier, $contenu) {
- // Ne rien faire si on est en preview ou si une erreur
+ // Ne rien faire si on est en preview, debug, ou si une erreur
// grave s'est presentee (compilation du squelette, MySQL, etc)
- if ($GLOBALS['var_preview'] OR defined('spip_erreur_fatale'))
+ if ($GLOBALS['var_preview'] OR $GLOBALS['var_debug']
+ OR defined('spip_erreur_fatale'))
return;
$gzip = (substr($fichier, -3) == '.gz');
--
GitLab