<php>

$INDEX = '/var/www/html/www.rigacci.org/docs/biblio/bibliolist.txt'; $URL_PREFIX = 'https://www.rigacci.org/docs/biblio/';

setlocale(LC_ALL, 'it_IT.UTF-8'); $last_change = strftime('%A %d %B %Y', filemtime($INDEX));

echo “Ultime modifiche: $last_change.\n</p>\n”; echo “<p>\n”;

if ($fp = fopen($INDEX, 'r')) {

  $list_open = false;
  unset($record);
  while (!feof($fp)) {
      $line = trim(fgets($fp, 4096));
      // Skip comments.
      if (preg_match('/^\s*#/', $line)) next;
      // A blank line: output the record.
      if (preg_match('/^\s*$/', $line) and is_array($record)) {
          print_record($record, $URL_PREFIX);
          unset($record);
      }
      if (preg_match('/=/', $line)) {
          list($tag, $val) = explode('=', $line, 2);
          switch ($tag) {
              case 'section':
                  if (isset($record)) {
                      print_record($record, $URL_PREFIX);
                      unset($record);
                  }
                  if ($list_open) echo "</ul>\n</div>\n";
                  echo "<h2>" . htmlentities($val, ENT_COMPAT, 'UTF-8') . "</h2>\n";
                  echo "<div class=\"level2\">\n";
                  echo "<ul>\n";
                  $list_open = true;
                  break;
              default:
                  $record[$tag] = $val;
          }
      }
  }
  fclose($fp);
  if ($list_open) echo "</ul>\n</div>\n";

}

———————————————————————— Print a list entry with the contents of $record[] array. ———————————————————————— function print_record($record, $URL_PREFIX) { if (isset($record['title']) and isset($record['online'])) { echo ' <li>'; echo '<a href=“' . $URL_PREFIX . $record['online'] . '”>'; echo htmlentities($record['title']); echo '</a>'; if (isset($record['lang'])) { $image = $record['lang'] . '.png'; $alt = $record['lang']; $width = 21; $height = 14; echo ' '; echo_image ($image, $URL_PREFIX, $alt, $width, $height); } if (isset($record['src'])) { echo ' <a href=“' . $URL_PREFIX . $record['src'] . '”>'; echo 'doc'; echo '</a>'; } if (isset($record['offline'])) { echo ' <a href=“' . $URL_PREFIX . $record['offline'] . '”>'; echo 'zip'; echo '</a>'; } if (isset($record['pdf'])) { echo ' <a href=“' . $URL_PREFIX . $record['pdf'] . '”>'; echo 'pdf'; echo '</a>'; } if (isset($record['web'])) { echo ' <a href=“' . $record['web'] . '”>'; echo 'web'; echo '</a>'; } echo “</li>\n”; } } ———————————————————————— Echo an <img> tag. ———————————————————————— function echo_image($file_name, $URL_PREFIX, $alt_text = , $width = , $height = '') {

  echo '<img align="middle" src=';
  echo '"' . $URL_PREFIX . 'img/' . $file_name . '"';
  if ($width and $height) echo " width=\"$width\" height=\"$height\"";
  echo ' border="0" alt="' . htmlentities($alt_text, ENT_COMPAT, 'UTF-8') . '"/>';

}

</php>