diff --git a/ecrire/admin_repair.php3 b/ecrire/admin_repair.php3 index 70f5eb282c81972825ce9038cae6b1ac5b3f1737..9fbf09e9347d8d514ba718d3b96d3b8bab2a2534 100644 --- a/ecrire/admin_repair.php3 +++ b/ecrire/admin_repair.php3 @@ -35,19 +35,16 @@ function verifier_base() { return false; list($count) = mysql_fetch_row($result); - echo "($count élément(s))\n"; + if ($count) + echo "($count élément".($count>1 ? 's':'').")\n"; + else + echo "(vide)\n"; - $ok = true; - $repare = false; - while ($row = mysql_fetch_row($result_repair)) { - if ($row[2] == 'error') $ok = false; - else if ($row[2] != 'status') $repare = true; - } + $row = mysql_fetch_row($result_repair); + $ok = ($row[3] == 'OK'); if (!$ok) echo "<pre><font color='red'><b>".htmlentities(join("\n", $row))."</b></font></pre>\n"; - else if ($repare) - echo " : <font color='green'><b>la table a été réparée</b></font>.<br>\n"; else echo " : cette table est OK.<br>\n";