Robust fix

diff --git a/lib/weblib.php b/lib/weblib.php
index 4d3f0a4bff7ae4fe815165cb70765357723320b8..51da7cadb37ef730458ae3df35d5a247b0e480c3 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -814,7 +814,7 @@ function print_table($table) {
     echo "<TABLE WIDTH=100% BORDER=0 valign=top align=center ";
     echo " cellpadding=\"$table->cellpadding\" cellspacing=\"$table->cellspacing\" class=\"generaltable\">\n";
 
-    if ($table->head) {
+    if (!empty($table->head)) {
         echo "<TR>";
         foreach ($table->head as $key => $heading) {
             if (!isset($size[$key])) {