diff --git a/ecrire/public/debusquer.php b/ecrire/public/debusquer.php index 0ddae1d27044b380b7a04cff09b60a3b7c61a29b..42bc13ed271098bbe605173e83b5dd89a82cd280 100644 --- a/ecrire/public/debusquer.php +++ b/ecrire/public/debusquer.php @@ -259,7 +259,7 @@ function debusquer_navigation($tableau, $caption = [], $id = 'debug-nav') { list($msg, $lieu) = $err; if (is_object($lieu)) { $ligne = $lieu->ligne; - $boucle = $lieu->id_boucle ? $lieu->id_boucle : ''; + $boucle = !empty($lieu->id_boucle) ? $lieu->id_boucle : ''; if (isset($lieu->descr['nom'])) { $nom_code = $lieu->descr['nom']; $skel = $lieu->descr['sourcefile'];