colorize lines

1 files changed, 12 insertions, 9 deletions

diff --git a/html/index.php b/html/index.php
index 776694b..2c15cde 100644
--- a/html/index.php
+++ b/html/index.php
@@ -38,17 +38,20 @@ $stm -> close();
 </tr>
 <?php
 
+function print_colorized($value, $text) {
+  echo '<font color="';
+  if ($value == 1)
+    echo '#008000';
+  else
+    echo '#800000';
+  echo '">' . $text . '</font>';
+}
+
 foreach ($values as $value) {
 ?> <tr>
-  <td><?php echo $value['machine']; ?></td>
-  <td><?php
-
-if ($value['value'] != 1)
-  echo 'not ';
-echo $value['state'];
-
-?></td>
-  <td><?php echo $row['last_update']; ?></td>
+  <td><?php print_colorized($value['value'], $value['machine']); ?></td>
+  <td><?php print_colorized($value['value'], ($value['value'] == 1 ? '' : 'not ') . $value['state']); ?></td>
+  <td><?php print_colorized($value['value'], $row['last_update']); ?></td>
 </tr>
 <?php
 }