These web pages contain the PS1 DVO databases, making it easy to
+download entire databases with the 'wget' command. It is necessary to
+include an authorized user and the password.
+
+
+Use a wget command on the directory of interest, eg:
+
+| \n";
+ echo " | ', "\n\n";
+}
+
+function menulines ($source, $root, $append, $project) {
+
+ $file = fopen ($source, "r");
+
+ // loop over the lines in the file and generate lines in the menu
+ while ($line = fgetcsv ($file, 1024, "|")) {
+ if (ereg ('^[:blank:]*#', $line[0])) continue;
+ if (count($line) < 2) continue;
+
+ if (count($line) == 2) {
+ $value = trim($line[0]);
+ if ($value == "input") {
+ $value = trim($line[1]);
+ menulines ($value, $root, $append, $project);
+ }
+ continue;
+ }
+ if (count($line) != 5) continue;
+
+ $type = trim($line[2]);
+ $name = trim($line[3]);
+ $base = trim($line[4]);
+
+ if (preg_match ('|\$PROJECT|', $name)) {
+ $name = preg_replace ('|\$PROJECT|', $project, $name);
+ }
+
+ // append additional elements if needed
+ if ($append) {
+ $link = "$base" . "?" . $append;
+ } else {
+ $link = "$base";
+ }
+
+ // prepend the rootdir if needed (reference to /)
+ if ($link[0] == '/') {
+ $link = $root . $link;
+ }
+
+ global $realroot;
+
+ // hi-lite the current page (use select-style, not style)
+ $thisname = $_SERVER[SCRIPT_NAME];
+ $page = $realroot . $base;
+ if ($page == $thisname) {
+ $style = trim($line[1]);
+ } else {
+ $style = trim($line[0]);
+ }
+
+ switch ($type) {
+ case 'plain':
+ echo " |
| $name |
\n";
+ break;
+ case 'picture':
+ // prepend the rootdir if needed (reference to /)
+ if ($name[0] == '/') {
+ $name = $root . $name;
+ }
+ echo " ![](\"$name\") |
\n";
+ break;
+ case 'piclink':
+ // prepend the rootdir if needed (reference to /)
+ if ($name[0] == '/') {
+ $name = $root . $name;
+ }
+ echo "| |
\n";
+ break;
+ default:
+ echo "| $name |
\n";
+ break;
+ }
+ }
+ fclose ($file);
+}
+
+function menu_end () {
+ echo "
\n";
+ echo "\n\n";
+ exit ();
+}
+
+function dirlist ($source) {
+ $file = fopen ($source, "r");
+ echo " These web pages contain the PS1 DVO databases, making it easy to
+download entire databases with the 'wget' command. It is necessary to
+include an authorized user and the password.
+
+
+Use a wget command on the directory of interest, eg:
+
+| \n";
+ echo " | ', "\n\n";
+}
+
+function menulines ($source, $root, $append, $project) {
+
+ $file = fopen ($source, "r");
+
+ // loop over the lines in the file and generate lines in the menu
+ while ($line = fgetcsv ($file, 1024, "|")) {
+ if (ereg ('^[:blank:]*#', $line[0])) continue;
+ if (count($line) < 2) continue;
+
+ if (count($line) == 2) {
+ $value = trim($line[0]);
+ if ($value == "input") {
+ $value = trim($line[1]);
+ menulines ($value, $root, $append, $project);
+ }
+ continue;
+ }
+ if (count($line) != 5) continue;
+
+ $type = trim($line[2]);
+ $name = trim($line[3]);
+ $base = trim($line[4]);
+
+ if (preg_match ('|\$PROJECT|', $name)) {
+ $name = preg_replace ('|\$PROJECT|', $project, $name);
+ }
+
+ // append additional elements if needed
+ if ($append) {
+ $link = "$base" . "?" . $append;
+ } else {
+ $link = "$base";
+ }
+
+ // prepend the rootdir if needed (reference to /)
+ if ($link[0] == '/') {
+ $link = $root . $link;
+ }
+
+ global $realroot;
+
+ // hi-lite the current page (use select-style, not style)
+ $thisname = $_SERVER[SCRIPT_NAME];
+ $page = $realroot . $base;
+ if ($page == $thisname) {
+ $style = trim($line[1]);
+ } else {
+ $style = trim($line[0]);
+ }
+
+ switch ($type) {
+ case 'plain':
+ echo " |
| $name |
\n";
+ break;
+ case 'picture':
+ // prepend the rootdir if needed (reference to /)
+ if ($name[0] == '/') {
+ $name = $root . $name;
+ }
+ echo "| |
\n";
+ break;
+ case 'piclink':
+ // prepend the rootdir if needed (reference to /)
+ if ($name[0] == '/') {
+ $name = $root . $name;
+ }
+ echo "| |
\n";
+ break;
+ default:
+ echo "| $name |
\n";
+ break;
+ }
+ }
+ fclose ($file);
+}
+
+function menu_end () {
+ echo "
\n";
+ echo "\n\n";
+ exit ();
+}
+
+function dirlist ($source) {
+ if (!file_exists($source)) return;
+
+ $file = fopen ($source, "r");
+ if (!$file) return;
+
+ echo "
