doc:biblio:start
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
doc:biblio:start [2006/10/06 16:50] – external edit 127.0.0.1 | doc:biblio:start [2024/12/06 13:01] (current) – niccolo | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Biblioteca on-line ====== | ====== Biblioteca on-line ====== | ||
- | <php> | + | ==== Altro ==== |
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Informatica e società ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Internet ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Linguaggi di programmazione ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Sistemi operativi e applicativi ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Documentazione tecnica ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | ==== Articoli ==== | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
- | $INDEX = '/ | + | Ultime modifiche: martedì 04 marzo 2014 |
- | $URL_PREFIX = 'http:// | + | |
- | setlocale(LC_ALL, | ||
- | $last_change = strftime(' | ||
- | |||
- | echo " | ||
- | echo "< | ||
- | |||
- | if ($fp = fopen($INDEX, | ||
- | $list_open = false; | ||
- | unset($record); | ||
- | while (!feof($fp)) { | ||
- | $line = trim(fgets($fp, | ||
- | // Skip comments. | ||
- | if (preg_match('/ | ||
- | // A blank line: output the record. | ||
- | if (preg_match('/ | ||
- | print_record($record, | ||
- | unset($record); | ||
- | } | ||
- | if (preg_match('/ | ||
- | list($tag, $val) = explode(' | ||
- | switch ($tag) { | ||
- | case ' | ||
- | if (isset($record)) { | ||
- | print_record($record, | ||
- | unset($record); | ||
- | } | ||
- | if ($list_open) echo "</ | ||
- | echo "< | ||
- | echo "< | ||
- | echo "< | ||
- | $list_open = true; | ||
- | break; | ||
- | default: | ||
- | $record[$tag] = $val; | ||
- | } | ||
- | } | ||
- | } | ||
- | fclose($fp); | ||
- | if ($list_open) echo "</ | ||
- | } | ||
- | |||
- | // | ||
- | // Print a list entry with the contents of $record[] array. | ||
- | // | ||
- | function print_record($record, | ||
- | if (isset($record[' | ||
- | echo ' | ||
- | echo '<a href="' | ||
- | echo htmlentities($record[' | ||
- | echo '</ | ||
- | if (isset($record[' | ||
- | $image | ||
- | $alt = $record[' | ||
- | $width | ||
- | $height = 14; | ||
- | echo ' '; | ||
- | echo_image ($image, $URL_PREFIX, | ||
- | } | ||
- | if (isset($record[' | ||
- | echo ' <a href="' | ||
- | echo ' | ||
- | echo '</ | ||
- | } | ||
- | if (isset($record[' | ||
- | echo ' <a href="' | ||
- | echo ' | ||
- | echo '</ | ||
- | } | ||
- | if (isset($record[' | ||
- | echo ' <a href="' | ||
- | echo ' | ||
- | echo '</ | ||
- | } | ||
- | echo "</ | ||
- | } | ||
- | |||
- | } | ||
- | |||
- | // | ||
- | // Echo an <img> tag. | ||
- | // | ||
- | function echo_image($file_name, | ||
- | echo '< | ||
- | echo '"' | ||
- | if ($width and $height) echo " width=\" | ||
- | echo ' border=" | ||
- | } | ||
- | |||
- | </ |
doc/biblio/start.1160146259.txt.gz · Last modified: 2011/09/22 11:49 (external edit)